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/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb
MD5SUM	56e0ae8659c33a6c7b55390a12db116b
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	537600
Optimality of the best value was proved	NO
Number of terms in the objective function	1160
Biggest coefficient in the objective function	196608
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	15892320
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	25600000000
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	232836875088
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1256.32
Number of variables	1260
Total number of constraints	204
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	100
Minimum length of a constraint	1
Maximum length of a constraint	127
Trace number 35279

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-28 12:21:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24470 boxname=wulflinc26 idbench=942 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  56e0ae8659c33a6c7b55390a12db116b  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-rgn.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-rgn.opb
IDLAUNCH: 24470
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 3
cpu MHz		: 451.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        727164 kB
Buffers:         32896 kB
Cached:         243460 kB
SwapCached:        744 kB
Active:          20824 kB
Inactive:       257588 kB
HighTotal:      131008 kB
HighFree:        34524 kB
LowTotal:       903652 kB
LowFree:        692640 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            23248 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:41:18 (client local time) WITH STATUS 0 IN 1202.33 SECONDS
stats: 24470 7 1202.33 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 6675/705709	Time: 62.8634/86400
Decision: 6675/705709	Time: 80.4518/86400
Decision: 6675/705709	Time: 98.365/86400
Decision: 6675/705709	Time: 115.799/86400
Decision: 6679/705709	Time: 145.843/86400
Decision: 6679/705709	Time: 167.9/86400
Decision: 6679/705709	Time: 188.552/86400
Decision: 6751/705709	Time: 243.414/86400
Decision: 6751/705709	Time: 263.175/86400
Decision: 6751/705709	Time: 282.849/86400
Decision: 6751/705709	Time: 304.126/86400
Decision: 6751/705709	Time: 324.783/86400
Decision: 6751/705709	Time: 346.812/86400
Decision: 6751/705709	Time: 362.996/86400
Decision: 6751/705709	Time: 381.272/86400
Decision: 6751/705709	Time: 404.497/86400
Decision: 6756/705709	Time: 438.993/86400
Decision: 6756/705709	Time: 459.904/86400
Decision: 6756/705709	Time: 480.207/86400
Decision: 6756/705709	Time: 499.116/86400
Decision: 6756/705709	Time: 522.234/86400
Decision: 6756/705709	Time: 544.503/86400
Decision: 6756/705709	Time: 565.311/86400
Decision: 6756/705709	Time: 584.696/86400
Decision: 6756/705709	Time: 602.521/86400
Decision: 6756/705709	Time: 623.436/86400
Decision: 6756/705709	Time: 642.131/86400
Decision: 6756/705709	Time: 659.907/86400
Decision: 6756/705709	Time: 681.114/86400
Decision: 6756/705709	Time: 699.112/86400
Decision: 6756/705709	Time: 720.477/86400
Decision: 6756/705709	Time: 742.267/86400
Decision: 6756/705709	Time: 765.252/86400
Decision: 6756/705709	Time: 784.797/86400
Decision: 6756/705709	Time: 806.533/86400
Decision: 6756/705709	Time: 827.834/86400
Decision: 6756/705709	Time: 848.772/86400
Decision: 6756/705709	Time: 871.034/86400
Decision: 6756/705709	Time: 892.693/86400
Decision: 6756/705709	Time: 913.977/86400
Decision: 6756/705709	Time: 938.754/86400
Decision: 6756/705709	Time: 955.574/86400
Decision: 6756/705709	Time: 976.148/86400
Decision: 6756/705709	Time: 1000.33/86400
Decision: 6756/705709	Time: 1019.8/86400
Decision: 6756/705709	Time: 1041.8/86400
Decision: 6756/705709	Time: 1061.99/86400
Decision: 6756/705709	Time: 1082.08/86400
Decision: 6756/705709	Time: 1100.86/86400
Decision: 6756/705709	Time: 1116.8/86400
Decision: 6756/705709	Time: 1138.49/86400
Decision: 6756/705709	Time: 1159.79/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.90 0.95 0.90 2/54 1892
Raw data (stat): 1892 (runsolver) R 1891 20687 20686 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864767424 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99996 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 31887 0 0 0 929 70 0 0 25 0 1 0 864767424 92164096 20728 4294967295 134512640 135726644 3221224592 3221105372 135287584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22501 20728 300 300 0 22201 0
vsize: 90004
[startup+19.9996 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 58665 0 0 0 1871 128 0 0 25 0 1 0 864767424 166531072 36523 4294967295 134512640 135726644 3221224592 3221205152 134782377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40657 36523 300 300 0 40357 0
vsize: 162628
[startup+30.0007 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 94643 0 0 0 2794 205 0 0 25 0 1 0 864767424 302153728 50801 4294967295 134512640 135726644 3221224592 3221198240 134782645 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73768 50801 300 300 0 73468 0
vsize: 295072
[startup+40.0009 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 98588 0 0 0 3786 214 0 0 25 0 1 0 864767424 306769920 53340 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74895 53340 300 300 0 74595 0
vsize: 299580
[startup+50.0018 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 98922 0 0 0 4785 215 0 0 25 0 1 0 864767424 308322304 53674 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75274 53674 300 300 0 74974 0
vsize: 301096
[startup+60.0016 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 99755 0 0 0 5782 217 0 0 25 0 1 0 864767424 312180736 54507 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76216 54507 300 300 0 75916 0
vsize: 304864
[startup+70.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 100052 0 0 0 6781 218 0 0 25 0 1 0 864767424 313827328 54804 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76618 54804 300 300 0 76318 0
vsize: 306472
[startup+80.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 100300 0 0 0 7781 219 0 0 25 0 1 0 864767424 314998784 55052 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76904 55052 300 300 0 76604 0
vsize: 307616
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 101791 0 0 0 8777 224 0 0 25 0 1 0 864767424 321323008 56543 4294967295 134512640 135726644 3221224592 3221222816 134769163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78448 56543 300 300 0 78148 0
vsize: 313792
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 101840 0 0 0 9776 224 0 0 25 0 1 0 864767424 315871232 55213 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 77117 55213 300 300 0 76817 0
vsize: 308468
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 103283 0 0 0 10773 227 0 0 25 0 1 0 864767424 321851392 56656 4294967295 134512640 135726644 3221224592 3221222768 134765177 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78577 56656 300 300 0 78277 0
vsize: 314308
[startup+120.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 103438 0 0 0 11771 229 0 0 25 0 1 0 864767424 316792832 55432 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 77342 55432 300 300 0 77042 0
vsize: 309368
[startup+130.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 104911 0 0 0 12767 233 0 0 25 0 1 0 864767424 317259776 55526 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 77456 55526 300 300 0 77156 0
vsize: 309824
[startup+140.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 104941 0 0 0 13767 234 0 0 25 0 1 0 864767424 317394944 55556 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 77489 55556 300 300 0 77189 0
vsize: 309956
[startup+150.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 106376 0 0 0 14762 238 0 0 25 0 1 0 864767424 317558784 55612 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 77529 55612 300 300 0 77229 0
vsize: 310116
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 106463 0 0 0 15762 239 0 0 25 0 1 0 864767424 317964288 55699 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 77628 55699 300 300 0 77328 0
vsize: 310512
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 106695 0 0 0 16761 240 0 0 25 0 1 0 864767424 319180800 55931 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 77925 55931 300 300 0 77625 0
vsize: 311700
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 108092 0 0 0 17758 244 0 0 25 0 1 0 864767424 319180800 55949 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 77925 55949 300 300 0 77625 0
vsize: 311700
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 108179 0 0 0 18757 244 0 0 25 0 1 0 864767424 319586304 56036 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78024 56036 300 300 0 77724 0
vsize: 312096
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 109609 0 0 0 19754 247 0 0 25 0 1 0 864767424 319856640 56087 4294967295 134512640 135726644 3221224592 3221222916 134728860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78090 56087 300 300 0 77790 0
vsize: 312360
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 109713 0 0 0 20753 248 0 0 25 0 1 0 864767424 320532480 56191 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78255 56191 300 300 0 77955 0
vsize: 313020
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 111145 0 0 0 21750 252 0 0 25 0 1 0 864767424 320802816 56244 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78321 56244 300 300 0 78021 0
vsize: 313284
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 111317 0 0 0 22749 253 0 0 25 0 1 0 864767424 321609728 56383 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78518 56383 300 300 0 78218 0
vsize: 314072
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 111367 0 0 0 23749 254 0 0 25 0 1 0 864767424 321880064 56433 4294967295 134512640 135726644 3221224592 3221223200 134744646 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78584 56433 300 300 0 78284 0
vsize: 314336
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 111377 0 0 0 24748 255 0 0 25 0 1 0 864767424 321880064 56443 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78584 56443 300 300 0 78284 0
vsize: 314336
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 111407 0 0 0 25747 256 0 0 25 0 1 0 864767424 321880064 56473 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78584 56473 300 300 0 78284 0
vsize: 314336
[startup+270.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 111419 0 0 0 26749 256 0 0 25 0 1 0 864767424 321880064 56485 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78584 56485 300 300 0 78284 0
vsize: 314336
[startup+280.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 112824 0 0 0 27745 260 0 0 25 0 1 0 864767424 322015232 56511 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78617 56511 300 300 0 78317 0
vsize: 314468
[startup+290.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 112832 0 0 0 28745 260 0 0 25 0 1 0 864767424 322015232 56519 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78617 56519 300 300 0 78317 0
vsize: 314468
[startup+300.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 114218 0 0 0 29742 264 0 0 25 0 1 0 864767424 322015232 56526 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78617 56526 300 300 0 78317 0
vsize: 314468
[startup+310.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 114344 0 0 0 30741 265 0 0 25 0 1 0 864767424 322826240 56652 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78815 56652 300 300 0 78515 0
vsize: 315260
[startup+320.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 115727 0 0 0 31737 269 0 0 25 0 1 0 864767424 322826240 56656 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78815 56656 300 300 0 78515 0
vsize: 315260
[startup+330.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 115778 0 0 0 32737 269 0 0 25 0 1 0 864767424 323096576 56707 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78881 56707 300 300 0 78581 0
vsize: 315524
[startup+340.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 117209 0 0 0 33733 274 0 0 25 0 1 0 864767424 323227648 56726 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78913 56726 300 300 0 78613 0
vsize: 315652
[startup+350.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 117218 0 0 0 34731 275 0 0 25 0 1 0 864767424 323227648 56735 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78913 56735 300 300 0 78613 0
vsize: 315652
[startup+360.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 118603 0 0 0 35727 278 0 0 25 0 1 0 864767424 323227648 56741 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78913 56741 300 300 0 78613 0
vsize: 315652
[startup+370.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 118643 0 0 0 36727 279 0 0 25 0 1 0 864767424 323362816 56781 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78946 56781 300 300 0 78646 0
vsize: 315784
[startup+380.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 120127 0 0 0 37722 284 0 0 25 0 1 0 864767424 323629056 56853 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79011 56853 300 300 0 78711 0
vsize: 316044
[startup+390.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 120137 0 0 0 38722 284 0 0 25 0 1 0 864767424 323629056 56863 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79011 56863 300 300 0 78711 0
vsize: 316044
[startup+400.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 120144 0 0 0 39721 285 0 0 25 0 1 0 864767424 323629056 56870 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79011 56870 300 300 0 78711 0
vsize: 316044
[startup+410.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 120176 0 0 0 40721 286 0 0 25 0 1 0 864767424 323764224 56902 4294967295 134512640 135726644 3221224592 3221223104 134742274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79044 56902 300 300 0 78744 0
vsize: 316176
[startup+420.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 121564 0 0 0 41717 290 0 0 25 0 1 0 864767424 323764224 56911 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79044 56911 300 300 0 78744 0
vsize: 316176
[startup+430.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 121591 0 0 0 42717 291 0 0 25 0 1 0 864767424 323899392 56938 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79077 56938 300 300 0 78777 0
vsize: 316308
[startup+440.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 122971 0 0 0 43713 295 0 0 25 0 1 0 864767424 323899392 56939 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79077 56939 300 300 0 78777 0
vsize: 316308
[startup+450.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 122978 0 0 0 44713 296 0 0 25 0 1 0 864767424 323899392 56946 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79077 56946 300 300 0 78777 0
vsize: 316308
[startup+460.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 122985 0 0 0 45722 297 0 0 25 0 1 0 864767424 323899392 56953 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79077 56953 300 300 0 78777 0
vsize: 316308
[startup+470.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 124406 0 0 0 46729 301 0 0 25 0 1 0 864767424 324169728 56995 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79143 56995 300 300 0 78843 0
vsize: 316572
[startup+480.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 124443 0 0 0 47729 302 0 0 25 0 1 0 864767424 324304896 57032 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79176 57032 300 300 0 78876 0
vsize: 316704
[startup+490.269 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 125828 0 0 0 48725 306 0 0 25 0 1 0 864767424 329953280 58417 4294967295 134512640 135726644 3221224592 3221222728 134761841 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 80555 58417 300 300 0 80255 0
vsize: 322220
[startup+500.275 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 125833 0 0 0 49725 306 0 0 25 0 1 0 864767424 324304896 57043 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79176 57043 300 300 0 78876 0
vsize: 316704
[startup+510.276 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 127218 0 0 0 50721 310 0 0 25 0 1 0 864767424 329953280 58428 4294967295 134512640 135726644 3221224592 3221222740 134765181 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 80555 58428 300 300 0 80255 0
vsize: 322220
[startup+520.276 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 127225 0 0 0 51720 311 0 0 25 0 1 0 864767424 324304896 57056 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79176 57056 300 300 0 78876 0
vsize: 316704
[startup+530.276 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 128633 0 0 0 52717 315 0 0 25 0 1 0 864767424 324440064 57085 4294967295 134512640 135726644 3221224592 3221223184 134760075 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79209 57085 300 300 0 78909 0
vsize: 316836
[startup+540.276 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 128639 0 0 0 53716 315 0 0 25 0 1 0 864767424 324440064 57091 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79209 57091 300 300 0 78909 0
vsize: 316836
[startup+550.277 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 130033 0 0 0 54712 320 0 0 25 0 1 0 864767424 330088448 58485 4294967295 134512640 135726644 3221224592 3221222752 134765177 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 80588 58485 300 300 0 80288 0
vsize: 322352
[startup+560.277 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 130034 0 0 0 55712 321 0 0 25 0 1 0 864767424 324440064 57107 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79209 57107 300 300 0 78909 0
vsize: 316836
[startup+570.276 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 130036 0 0 0 56711 321 0 0 25 0 1 0 864767424 324440064 57109 4294967295 134512640 135726644 3221224592 3221223248 134731190 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79209 57109 300 300 0 78909 0
vsize: 316836
[startup+580.277 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 131423 0 0 0 57708 325 0 0 25 0 1 0 864767424 324440064 57117 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79209 57117 300 300 0 78909 0
vsize: 316836
[startup+590.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 131429 0 0 0 58707 325 0 0 25 0 1 0 864767424 324440064 57123 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79209 57123 300 300 0 78909 0
vsize: 316836
[startup+600.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 132870 0 0 0 59704 329 0 0 25 0 1 0 864767424 324710400 57185 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79275 57185 300 300 0 78975 0
vsize: 317100
[startup+610.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 132876 0 0 0 60703 330 0 0 25 0 1 0 864767424 324710400 57191 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79275 57191 300 300 0 78975 0
vsize: 317100
[startup+620.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 134261 0 0 0 61699 334 0 0 25 0 1 0 864767424 324710400 57197 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79275 57197 300 300 0 78975 0
vsize: 317100
[startup+630.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 134276 0 0 0 62699 335 0 0 25 0 1 0 864767424 324710400 57212 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79275 57212 300 300 0 78975 0
vsize: 317100
[startup+640.279 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 135660 0 0 0 63695 339 0 0 25 0 1 0 864767424 324710400 57217 4294967295 134512640 135726644 3221224592 3221223088 134743951 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79275 57217 300 300 0 78975 0
vsize: 317100
[startup+650.279 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 135666 0 0 0 64694 339 0 0 25 0 1 0 864767424 324710400 57223 4294967295 134512640 135726644 3221224592 3221223104 134742493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79275 57223 300 300 0 78975 0
vsize: 317100
[startup+660.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 137047 0 0 0 65691 343 0 0 25 0 1 0 864767424 324710400 57225 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79275 57225 300 300 0 78975 0
vsize: 317100
[startup+670.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 137049 0 0 0 66690 344 0 0 25 0 1 0 864767424 324710400 57227 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79275 57227 300 300 0 78975 0
vsize: 317100
[startup+680.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 138458 0 0 0 67687 348 0 0 25 0 1 0 864767424 324845568 57257 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79308 57257 300 300 0 79008 0
vsize: 317232
[startup+690.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 139843 0 0 0 68684 351 0 0 25 0 1 0 864767424 330493952 58642 4294967295 134512640 135726644 3221224592 3221222728 134761853 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 80687 58642 300 300 0 80387 0
vsize: 322748
[startup+700.281 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 139900 0 0 0 69683 352 0 0 25 0 1 0 864767424 325251072 57320 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79407 57320 300 300 0 79107 0
vsize: 317628
[startup+710.281 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 139940 0 0 0 70683 352 0 0 25 0 1 0 864767424 325521408 57360 4294967295 134512640 135726644 3221224592 3221223008 134737977 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79473 57360 300 300 0 79173 0
vsize: 317892
[startup+720.281 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 141325 0 0 0 71679 357 0 0 25 0 1 0 864767424 325521408 57366 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79473 57366 300 300 0 79173 0
vsize: 317892
[startup+730.281 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 142723 0 0 0 72674 361 0 0 25 0 1 0 864767424 325521408 57385 4294967295 134512640 135726644 3221224592 3221223088 134744305 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79473 57385 300 300 0 79173 0
vsize: 317892
[startup+740.281 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 142754 0 0 0 73674 361 0 0 25 0 1 0 864767424 325656576 57416 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79506 57416 300 300 0 79206 0
vsize: 318024
[startup+750.282 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 144157 0 0 0 74670 366 0 0 25 0 1 0 864767424 325791744 57440 4294967295 134512640 135726644 3221224592 3221223216 134779692 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79539 57440 300 300 0 79239 0
vsize: 318156
[startup+760.282 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 144166 0 0 0 75670 366 0 0 25 0 1 0 864767424 325791744 57449 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79539 57449 300 300 0 79239 0
vsize: 318156
[startup+770.281 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 144170 0 0 0 76669 367 0 0 25 0 1 0 864767424 325791744 57453 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79539 57453 300 300 0 79239 0
vsize: 318156
[startup+780.282 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 145553 0 0 0 77665 371 0 0 25 0 1 0 864767424 325791744 57457 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79539 57457 300 300 0 79239 0
vsize: 318156
[startup+790.282 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 145558 0 0 0 78665 371 0 0 25 0 1 0 864767424 325791744 57462 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79539 57462 300 300 0 79239 0
vsize: 318156
[startup+800.282 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 146942 0 0 0 79661 376 0 0 25 0 1 0 864767424 325791744 57467 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79539 57467 300 300 0 79239 0
vsize: 318156
[startup+810.283 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 146957 0 0 0 80661 376 0 0 25 0 1 0 864767424 325791744 57482 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79539 57482 300 300 0 79239 0
vsize: 318156
[startup+820.284 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 148393 0 0 0 81657 380 0 0 25 0 1 0 864767424 326057984 57506 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79604 57506 300 300 0 79304 0
vsize: 318416
[startup+830.284 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 148398 0 0 0 82656 381 0 0 25 0 1 0 864767424 326057984 57511 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79604 57511 300 300 0 79304 0
vsize: 318416
[startup+840.284 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 149804 0 0 0 83653 385 0 0 25 0 1 0 864767424 326193152 57538 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79637 57538 300 300 0 79337 0
vsize: 318548
[startup+850.284 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 149810 0 0 0 84652 385 0 0 25 0 1 0 864767424 326193152 57544 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79637 57544 300 300 0 79337 0
vsize: 318548
[startup+860.284 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 151201 0 0 0 85649 389 0 0 25 0 1 0 864767424 326193152 57556 4294967295 134512640 135726644 3221224592 3221223248 134731240 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79637 57556 300 300 0 79337 0
vsize: 318548
[startup+870.283 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 151229 0 0 0 86648 390 0 0 25 0 1 0 864767424 326328320 57584 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79670 57584 300 300 0 79370 0
vsize: 318680
[startup+880.284 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 152612 0 0 0 87644 394 0 0 25 0 1 0 864767424 326328320 57588 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79670 57588 300 300 0 79370 0
vsize: 318680
[startup+890.284 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 152659 0 0 0 88643 395 0 0 25 0 1 0 864767424 326598656 57635 4294967295 134512640 135726644 3221224592 3221223180 134743858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79736 57635 300 300 0 79436 0
vsize: 318944
[startup+900.284 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 154044 0 0 0 89640 399 0 0 25 0 1 0 864767424 332247040 59020 4294967295 134512640 135726644 3221224592 3221222820 134769036 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81115 59020 300 300 0 80815 0
vsize: 324460
[startup+910.285 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 154051 0 0 0 90640 399 0 0 25 0 1 0 864767424 326598656 57648 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79736 57648 300 300 0 79436 0
vsize: 318944
[startup+920.285 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 154058 0 0 0 91639 400 0 0 25 0 1 0 864767424 326598656 57655 4294967295 134512640 135726644 3221224592 3221222920 134735638 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79736 57655 300 300 0 79436 0
vsize: 318944
[startup+930.285 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 155442 0 0 0 92635 404 0 0 25 0 1 0 864767424 326598656 57660 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79736 57660 300 300 0 79436 0
vsize: 318944
[startup+940.286 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 155506 0 0 0 93635 404 0 0 25 0 1 0 864767424 326729728 57691 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79768 57691 300 300 0 79468 0
vsize: 319072
[startup+950.286 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 156939 0 0 0 94631 408 0 0 25 0 1 0 864767424 326860800 57712 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79800 57712 300 300 0 79500 0
vsize: 319200
[startup+960.287 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 156998 0 0 0 95631 409 0 0 25 0 1 0 864767424 327127040 57771 4294967295 134512640 135726644 3221224592 3221223216 134744485 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79865 57771 300 300 0 79565 0
vsize: 319460
[startup+970.286 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 158379 0 0 0 96627 413 0 0 25 0 1 0 864767424 327127040 57773 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79865 57773 300 300 0 79565 0
vsize: 319460
[startup+980.287 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 158390 0 0 0 97626 414 0 0 25 0 1 0 864767424 327127040 57784 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79865 57784 300 300 0 79565 0
vsize: 319460
[startup+990.287 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 159779 0 0 0 98622 418 0 0 25 0 1 0 864767424 327127040 57794 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79865 57794 300 300 0 79565 0
vsize: 319460
[startup+1000.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 159828 0 0 0 99622 419 0 0 25 0 1 0 864767424 327258112 57810 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79897 57810 300 300 0 79597 0
vsize: 319588
[startup+1010.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 161212 0 0 0 100618 423 0 0 25 0 1 0 864767424 327258112 57815 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79897 57815 300 300 0 79597 0
vsize: 319588
[startup+1020.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 161216 0 0 0 101618 424 0 0 25 0 1 0 864767424 327258112 57819 4294967295 134512640 135726644 3221224592 3221223264 134745056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79897 57819 300 300 0 79597 0
vsize: 319588
[startup+1030.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 162599 0 0 0 102614 428 0 0 25 0 1 0 864767424 332906496 59202 4294967295 134512640 135726644 3221224592 3221222728 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81276 59202 300 300 0 80976 0
vsize: 325104
[startup+1040.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 162604 0 0 0 103613 428 0 0 25 0 1 0 864767424 327258112 57828 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79897 57828 300 300 0 79597 0
vsize: 319588
[startup+1050.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 163989 0 0 0 104609 432 0 0 25 0 1 0 864767424 332906496 59213 4294967295 134512640 135726644 3221224592 3221222864 134770965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81276 59213 300 300 0 80976 0
vsize: 325104
[startup+1060.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 163996 0 0 0 105608 434 0 0 25 0 1 0 864767424 327258112 57841 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79897 57841 300 300 0 79597 0
vsize: 319588
[startup+1070.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 165378 0 0 0 106605 437 0 0 25 0 1 0 864767424 327258112 57844 4294967295 134512640 135726644 3221224592 3221223216 134779426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79897 57844 300 300 0 79597 0
vsize: 319588
[startup+1080.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 165380 0 0 0 107605 438 0 0 25 0 1 0 864767424 327258112 57846 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79897 57846 300 300 0 79597 0
vsize: 319588
[startup+1090.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 165384 0 0 0 108604 438 0 0 25 0 1 0 864767424 327258112 57850 4294967295 134512640 135726644 3221224592 3221223104 134742274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79897 57850 300 300 0 79597 0
vsize: 319588
[startup+1100.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 166769 0 0 0 109600 442 0 0 25 0 1 0 864767424 327258112 57856 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79897 57856 300 300 0 79597 0
vsize: 319588
[startup+1110.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 166775 0 0 0 110600 443 0 0 25 0 1 0 864767424 327258112 57862 4294967295 134512640 135726644 3221224592 3221223104 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79897 57862 300 300 0 79597 0
vsize: 319588
[startup+1120.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 168160 0 0 0 111596 447 0 0 25 0 1 0 864767424 327258112 57868 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79897 57868 300 300 0 79597 0
vsize: 319588
[startup+1130.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 169545 0 0 0 112592 451 0 0 25 0 1 0 864767424 332906496 59253 4294967295 134512640 135726644 3221224592 3221222744 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81276 59253 300 300 0 80976 0
vsize: 325104
[startup+1140.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 169551 0 0 0 113592 452 0 0 25 0 1 0 864767424 327258112 57880 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79897 57880 300 300 0 79597 0
vsize: 319588
[startup+1150.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 170940 0 0 0 114588 456 0 0 25 0 1 0 864767424 327258112 57890 4294967295 134512640 135726644 3221224592 3221223088 134744323 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79897 57890 300 300 0 79597 0
vsize: 319588
[startup+1160.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 170947 0 0 0 115588 457 0 0 25 0 1 0 864767424 327258112 57897 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79897 57897 300 300 0 79597 0
vsize: 319588
[startup+1170.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 172329 0 0 0 116585 460 0 0 25 0 1 0 864767424 327258112 57900 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79897 57900 300 300 0 79597 0
vsize: 319588
[startup+1180.3 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 172334 0 0 0 117584 460 0 0 25 0 1 0 864767424 327258112 57905 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79897 57905 300 300 0 79597 0
vsize: 319588
[startup+1190.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 173728 0 0 0 118581 464 0 0 25 0 1 0 864767424 332906496 59299 4294967295 134512640 135726644 3221224592 3221222760 134761841 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81276 59299 300 300 0 80976 0
vsize: 325104
[startup+1200.3 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1892
Raw data (stat): 1892 (pb2sat) R 1891 20687 20686 0 -1 0 173736 0 0 0 119580 465 0 0 25 0 1 0 864767424 327258112 57928 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79897 57928 300 300 0 79597 0
vsize: 319588
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.16 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 1892
Raw data (stat): 1892 (pb2sat) Z 1891 20687 20686 0 -1 12 173737 0 0 0 119756 476 0 0 25 0 1 0 864767424 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1202.16
CPU time (s): 1202.33
CPU user time (s): 1197.57
CPU system time (s): 4.76228
CPU usage (%): 100.014
Max. virtual memory (Kb): 325104
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####