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/miplib3/normalized-mps-v2-20-10-vpm1.opb
MD5SUM	eb50800dc2fc522dd2f29a347fbab1da
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
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	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	454.966
Number of variables	2754
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	82
Trace number 35361

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        760584 kB
Buffers:         32872 kB
Cached:         220680 kB
SwapCached:        700 kB
Active:          48464 kB
Inactive:       207188 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        760332 kB
SwapTotal:     2097136 kB
SwapFree:      2095556 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5028 kB
Slab:            12744 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:01:36 (client local time) WITH STATUS 0 IN 1201.62 SECONDS
stats: 24601 7 1201.62 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 243464/1075667	Time: 203.852/86400
Decision: 243464/1075667	Time: 253.103/86400
Decision: 243464/1075667	Time: 290.155/86400
Decision: 243464/1075667	Time: 319.886/86400
Decision: 243464/1075667	Time: 341.059/86400
Decision: 243464/1075667	Time: 369.864/86400
Decision: 243464/1075667	Time: 390.697/86400
Decision: 243464/1075667	Time: 408.98/86400
Decision: 243464/1075667	Time: 430.718/86400
Decision: 243464/1075667	Time: 445.643/86400
Decision: 243464/1075667	Time: 471.165/86400
Decision: 243464/1075667	Time: 497.302/86400
Decision: 243464/1075667	Time: 519.79/86400
Decision: 243464/1075667	Time: 541.019/86400
Decision: 243464/1075667	Time: 562.864/86400
Decision: 243464/1075667	Time: 593.157/86400
Decision: 243464/1075667	Time: 622.276/86400
Decision: 243464/1075667	Time: 649.85/86400
Decision: 243464/1075667	Time: 674.867/86400
Decision: 243464/1075667	Time: 704.494/86400
Decision: 243464/1075667	Time: 736.536/86400
Decision: 243464/1075667	Time: 765.414/86400
Decision: 243464/1075667	Time: 791.721/86400
Decision: 243464/1075667	Time: 814.209/86400
Decision: 243464/1075667	Time: 840.044/86400
Decision: 243464/1075667	Time: 868.217/86400
Decision: 243464/1075667	Time: 893.568/86400
Decision: 243464/1075667	Time: 914.172/86400
Decision: 243464/1075667	Time: 938.152/86400
Decision: 243464/1075667	Time: 960.133/86400
Decision: 243464/1075667	Time: 994.063/86400
Decision: 243464/1075667	Time: 1022.7/86400
Decision: 243464/1075667	Time: 1054.7/86400
Decision: 243464/1075667	Time: 1089.43/86400
Decision: 243464/1075667	Time: 1125.87/86400s UNKNOWN
*** glibc detected *** corrupted double-linked list: 0x0c39d368 ***
#### 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.93 0.90 2/54 9414
Raw data (stat): 9414 (runsolver) R 9413 5562 5561 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864885009 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0005 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 27372 0 0 0 936 63 0 0 25 0 1 0 864885009 77897728 16252 4294967295 134512640 135726644 3221224576 3221199428 134557826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19018 16252 300 300 0 18718 0
vsize: 76072
[startup+20.0017 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 54496 0 0 0 1876 123 0 0 25 0 1 0 864885009 153616384 32388 4294967295 134512640 135726644 3221224576 3221206868 135105744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37504 32388 300 300 0 37204 0
vsize: 150016
[startup+30.0023 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 91344 0 0 0 2804 195 0 0 25 0 1 0 864885009 298565632 47558 4294967295 134512640 135726644 3221224576 3221204944 134780450 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72892 47558 300 300 0 72592 0
vsize: 291568
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 108138 0 0 0 3764 236 0 0 25 0 1 0 864885009 304918528 64066 4294967295 134512640 135726644 3221224576 3221205096 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74443 64066 300 300 0 74143 0
vsize: 297772
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 146143 0 0 0 4685 315 0 0 25 0 1 0 864885009 436191232 83513 4294967295 134512640 135726644 3221224576 3221223072 134763610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106492 83513 300 300 0 106192 0
vsize: 425968
[startup+60.0037 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 148228 0 0 0 5680 320 0 0 25 0 1 0 864885009 429142016 83464 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104771 83464 300 300 0 104471 0
vsize: 419084
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 150362 0 0 0 6674 325 0 0 25 0 1 0 864885009 435556352 84593 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106337 84593 300 300 0 106037 0
vsize: 425348
[startup+80.0045 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 151660 0 0 0 7672 328 0 0 25 0 1 0 864885009 439517184 85303 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107304 85303 300 300 0 107004 0
vsize: 429216
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 153183 0 0 0 8669 331 0 0 25 0 1 0 864885009 444071936 86107 4294967295 134512640 135726644 3221224576 3221223200 134744661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108416 86107 300 300 0 108116 0
vsize: 433664
[startup+100.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 154077 0 0 0 9668 332 0 0 25 0 1 0 864885009 446275584 86524 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108954 86524 300 300 0 108654 0
vsize: 435816
[startup+110.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 154961 0 0 0 10666 334 0 0 25 0 1 0 864885009 448819200 86982 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109575 86982 300 300 0 109275 0
vsize: 438300
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 155300 0 0 0 11665 335 0 0 25 0 1 0 864885009 449986560 87223 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109860 87223 300 300 0 109560 0
vsize: 439440
[startup+130.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 155691 0 0 0 12665 336 0 0 25 0 1 0 864885009 451809280 87614 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110305 87614 300 300 0 110005 0
vsize: 441220
[startup+140.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 155843 0 0 0 13664 337 0 0 25 0 1 0 864885009 452341760 87700 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110435 87700 300 300 0 110135 0
vsize: 441740
[startup+150.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 155854 0 0 0 14665 337 0 0 25 0 1 0 864885009 452341760 87711 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110435 87711 300 300 0 110135 0
vsize: 441740
[startup+160.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 155905 0 0 0 15665 337 0 0 25 0 1 0 864885009 452612096 87762 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110501 87762 300 300 0 110201 0
vsize: 442004
[startup+170.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 156031 0 0 0 16665 337 0 0 25 0 1 0 864885009 453349376 87888 4294967295 134512640 135726644 3221224576 3221222488 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110681 87888 300 300 0 110381 0
vsize: 442724
[startup+180.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 156216 0 0 0 17665 337 0 0 25 0 1 0 864885009 454012928 88024 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110843 88024 300 300 0 110543 0
vsize: 443372
[startup+190.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 156278 0 0 0 18665 338 0 0 25 0 1 0 864885009 454283264 88086 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110909 88086 300 300 0 110609 0
vsize: 443636
[startup+200.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 156295 0 0 0 19665 338 0 0 25 0 1 0 864885009 454283264 88103 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110909 88103 300 300 0 110609 0
vsize: 443636
[startup+210.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 156306 0 0 0 20665 338 0 0 25 0 1 0 864885009 454283264 88114 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110909 88114 300 300 0 110609 0
vsize: 443636
[startup+220.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 156318 0 0 0 21665 339 0 0 25 0 1 0 864885009 454283264 88126 4294967295 134512640 135726644 3221224576 3221222824 135282488 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110909 88126 300 300 0 110609 0
vsize: 443636
[startup+230.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 156331 0 0 0 22665 339 0 0 25 0 1 0 864885009 454283264 88139 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110909 88139 300 300 0 110609 0
vsize: 443636
[startup+240.017 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 156422 0 0 0 23665 339 0 0 25 0 1 0 864885009 454717440 88230 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111015 88230 300 300 0 110715 0
vsize: 444060
[startup+250.017 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 158626 0 0 0 24660 344 0 0 25 0 1 0 864885009 455241728 88333 4294967295 134512640 135726644 3221224576 3221222992 134738146 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111143 88333 300 300 0 110843 0
vsize: 444572
[startup+260.018 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 158919 0 0 0 25659 345 0 0 25 0 1 0 864885009 456298496 88528 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111401 88528 300 300 0 111101 0
vsize: 445604
[startup+270.018 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 159655 0 0 0 26658 346 0 0 25 0 1 0 864885009 458846208 88970 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112023 88970 300 300 0 111723 0
vsize: 448092
[startup+280.019 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 161585 0 0 0 27655 349 0 0 25 0 1 0 864885009 464379904 89931 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113374 89931 300 300 0 113074 0
vsize: 453496
[startup+290.019 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 162420 0 0 0 28654 351 0 0 25 0 1 0 864885009 467218432 90409 4294967295 134512640 135726644 3221224576 3221222896 134728909 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114067 90409 300 300 0 113767 0
vsize: 456268
[startup+300.018 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 162671 0 0 0 29653 352 0 0 25 0 1 0 864885009 468242432 90644 4294967295 134512640 135726644 3221224576 3221222992 134737989 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114317 90644 300 300 0 114017 0
vsize: 457268
[startup+310.019 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 165006 0 0 0 30645 359 0 0 25 0 1 0 864885009 469413888 90878 4294967295 134512640 135726644 3221224576 3221223072 134743931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114603 90878 300 300 0 114303 0
vsize: 458412
[startup+320.019 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 165385 0 0 0 31643 360 0 0 25 0 1 0 864885009 471060480 91224 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115005 91224 300 300 0 114705 0
vsize: 460020
[startup+330.019 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 165822 0 0 0 32643 361 0 0 25 0 1 0 864885009 473223168 91661 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115533 91661 300 300 0 115233 0
vsize: 462132
[startup+340.025 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 167999 0 0 0 33637 366 0 0 25 0 1 0 864885009 473489408 91704 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115598 91704 300 300 0 115298 0
vsize: 462392
[startup+350.026 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 168184 0 0 0 34635 367 0 0 25 0 1 0 864885009 474435584 91889 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115829 91889 300 300 0 115529 0
vsize: 463316
[startup+360.026 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 168189 0 0 0 35634 368 0 0 25 0 1 0 864885009 474435584 91894 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115829 91894 300 300 0 115529 0
vsize: 463316
[startup+370.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 170292 0 0 0 36629 373 0 0 25 0 1 0 864885009 474435584 91896 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115829 91896 300 300 0 115529 0
vsize: 463316
[startup+380.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 170322 0 0 0 37628 374 0 0 25 0 1 0 864885009 474570752 91926 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115862 91926 300 300 0 115562 0
vsize: 463448
[startup+390.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 172428 0 0 0 38623 379 0 0 25 0 1 0 864885009 483176448 94032 4294967295 134512640 135726644 3221224576 3221222724 134765517 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117963 94032 300 300 0 117663 0
vsize: 471852
[startup+400.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 172457 0 0 0 39622 380 0 0 25 0 1 0 864885009 474705920 91960 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115895 91960 300 300 0 115595 0
vsize: 463580
[startup+410.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 172465 0 0 0 40622 381 0 0 25 0 1 0 864885009 474705920 91968 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115895 91968 300 300 0 115595 0
vsize: 463580
[startup+420.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 174567 0 0 0 41616 387 0 0 25 0 1 0 864885009 474705920 91969 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115895 91969 300 300 0 115595 0
vsize: 463580
[startup+430.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 174576 0 0 0 42616 387 0 0 25 0 1 0 864885009 474705920 91978 4294967295 134512640 135726644 3221224576 3221223264 134744961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115895 91978 300 300 0 115595 0
vsize: 463580
[startup+440.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 176759 0 0 0 43611 392 0 0 25 0 1 0 864885009 475111424 92060 4294967295 134512640 135726644 3221224576 3221222900 135341057 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115994 92060 300 300 0 115694 0
vsize: 463976
[startup+450.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 176783 0 0 0 44610 393 0 0 25 0 1 0 864885009 475246592 92084 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116027 92084 300 300 0 115727 0
vsize: 464108
[startup+460.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 178906 0 0 0 45605 399 0 0 25 0 1 0 864885009 475381760 92106 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116060 92106 300 300 0 115760 0
vsize: 464240
[startup+470.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 178911 0 0 0 46605 399 0 0 25 0 1 0 864885009 475381760 92111 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116060 92111 300 300 0 115760 0
vsize: 464240
[startup+480.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 181016 0 0 0 47600 404 0 0 25 0 1 0 864885009 483987456 94216 4294967295 134512640 135726644 3221224576 3221222744 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118161 94216 300 300 0 117861 0
vsize: 472644
[startup+490.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 181025 0 0 0 48599 405 0 0 25 0 1 0 864885009 475381760 92124 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116060 92124 300 300 0 115760 0
vsize: 464240
[startup+500.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 183130 0 0 0 49594 411 0 0 25 0 1 0 864885009 475381760 92128 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116060 92128 300 300 0 115760 0
vsize: 464240
[startup+510.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 183137 0 0 0 50593 411 0 0 25 0 1 0 864885009 475381760 92135 4294967295 134512640 135726644 3221224576 3221223164 134744135 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116060 92135 300 300 0 115760 0
vsize: 464240
[startup+520.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 185240 0 0 0 51588 417 0 0 25 0 1 0 864885009 475381760 92137 4294967295 134512640 135726644 3221224576 3221223200 134779658 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116060 92137 300 300 0 115760 0
vsize: 464240
[startup+530.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 185262 0 0 0 52587 417 0 0 25 0 1 0 864885009 475516928 92159 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116093 92159 300 300 0 115793 0
vsize: 464372
[startup+540.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 185265 0 0 0 53587 418 0 0 25 0 1 0 864885009 475516928 92162 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116093 92162 300 300 0 115793 0
vsize: 464372
[startup+550.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 187368 0 0 0 54581 423 0 0 25 0 1 0 864885009 475516928 92164 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116093 92164 300 300 0 115793 0
vsize: 464372
[startup+560.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 187370 0 0 0 55580 424 0 0 25 0 1 0 864885009 475516928 92166 4294967295 134512640 135726644 3221224576 3221223072 134744369 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116093 92166 300 300 0 115793 0
vsize: 464372
[startup+570.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 189472 0 0 0 56576 429 0 0 25 0 1 0 864885009 475516928 92167 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116093 92167 300 300 0 115793 0
vsize: 464372
[startup+580.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 189475 0 0 0 57575 430 0 0 25 0 1 0 864885009 475516928 92170 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116093 92170 300 300 0 115793 0
vsize: 464372
[startup+590.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 191578 0 0 0 58570 435 0 0 25 0 1 0 864885009 484122624 94273 4294967295 134512640 135726644 3221224576 3221222712 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118194 94273 300 300 0 117894 0
vsize: 472776
[startup+600.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 191580 0 0 0 59568 437 0 0 25 0 1 0 864885009 475516928 92174 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116093 92174 300 300 0 115793 0
vsize: 464372
[startup+610.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 193683 0 0 0 60564 442 0 0 25 0 1 0 864885009 484122624 94277 4294967295 134512640 135726644 3221224576 3221222752 134765226 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118194 94277 300 300 0 117894 0
vsize: 472776
[startup+620.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 193685 0 0 0 61563 443 0 0 25 0 1 0 864885009 475516928 92178 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116093 92178 300 300 0 115793 0
vsize: 464372
[startup+630.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 193686 0 0 0 62562 443 0 0 25 0 1 0 864885009 475516928 92179 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116093 92179 300 300 0 115793 0
vsize: 464372
[startup+640.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 195788 0 0 0 63557 449 0 0 25 0 1 0 864885009 475516928 92180 4294967295 134512640 135726644 3221224576 3221223196 134779550 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116093 92180 300 300 0 115793 0
vsize: 464372
[startup+650.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 195789 0 0 0 64557 449 0 0 25 0 1 0 864885009 475516928 92181 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116093 92181 300 300 0 115793 0
vsize: 464372
[startup+660.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 195791 0 0 0 65556 449 0 0 25 0 1 0 864885009 475516928 92183 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116093 92183 300 300 0 115793 0
vsize: 464372
[startup+670.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 197893 0 0 0 66551 454 0 0 25 0 1 0 864885009 484122624 94285 4294967295 134512640 135726644 3221224576 3221222736 134765521 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118194 94285 300 300 0 117894 0
vsize: 472776
[startup+680.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 197896 0 0 0 67551 455 0 0 25 0 1 0 864885009 475516928 92187 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92187 300 300 0 115793 0
vsize: 464372
[startup+690.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 197897 0 0 0 68551 456 0 0 25 0 1 0 864885009 475516928 92188 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92188 300 300 0 115793 0
vsize: 464372
[startup+700.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 199999 0 0 0 69546 461 0 0 25 0 1 0 864885009 475516928 92189 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92189 300 300 0 115793 0
vsize: 464372
[startup+710.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 200002 0 0 0 70546 461 0 0 25 0 1 0 864885009 475516928 92192 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92192 300 300 0 115793 0
vsize: 464372
[startup+720.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 200003 0 0 0 71545 462 0 0 25 0 1 0 864885009 475516928 92193 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92193 300 300 0 115793 0
vsize: 464372
[startup+730.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 202105 0 0 0 72540 467 0 0 25 0 1 0 864885009 475516928 92194 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92194 300 300 0 115793 0
vsize: 464372
[startup+740.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 202107 0 0 0 73540 467 0 0 25 0 1 0 864885009 475516928 92196 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92196 300 300 0 115793 0
vsize: 464372
[startup+750.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 202109 0 0 0 74540 468 0 0 25 0 1 0 864885009 475516928 92198 4294967295 134512640 135726644 3221224576 3221223088 134742198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92198 300 300 0 115793 0
vsize: 464372
[startup+760.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 204211 0 0 0 75535 473 0 0 25 0 1 0 864885009 475516928 92199 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92199 300 300 0 115793 0
vsize: 464372
[startup+770.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 204212 0 0 0 76534 473 0 0 25 0 1 0 864885009 475516928 92200 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92200 300 300 0 115793 0
vsize: 464372
[startup+780.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 204214 0 0 0 77534 474 0 0 25 0 1 0 864885009 475516928 92202 4294967295 134512640 135726644 3221224576 3221223088 134742395 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92202 300 300 0 115793 0
vsize: 464372
[startup+790.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 206315 0 0 0 78529 479 0 0 25 0 1 0 864885009 475516928 92202 4294967295 134512640 135726644 3221224576 3221223072 134744043 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92202 300 300 0 115793 0
vsize: 464372
[startup+800.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 206317 0 0 0 79529 479 0 0 25 0 1 0 864885009 475516928 92204 4294967295 134512640 135726644 3221224576 3221223172 134744137 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92204 300 300 0 115793 0
vsize: 464372
[startup+810.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 206319 0 0 0 80529 479 0 0 25 0 1 0 864885009 475516928 92206 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92206 300 300 0 115793 0
vsize: 464372
[startup+820.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 208421 0 0 0 81524 485 0 0 25 0 1 0 864885009 475516928 92207 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92207 300 300 0 115793 0
vsize: 464372
[startup+830.137 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 208423 0 0 0 82534 485 0 0 25 0 1 0 864885009 475516928 92209 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92209 300 300 0 115793 0
vsize: 464372
[startup+840.137 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 210525 0 0 0 83529 490 0 0 25 0 1 0 864885009 484122624 94311 4294967295 134512640 135726644 3221224576 3221222724 134765181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118194 94311 300 300 0 117894 0
vsize: 472776
[startup+850.136 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 210527 0 0 0 84529 491 0 0 25 0 1 0 864885009 475516928 92212 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92212 300 300 0 115793 0
vsize: 464372
[startup+860.141 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 210529 0 0 0 85529 491 0 0 25 0 1 0 864885009 475516928 92214 4294967295 134512640 135726644 3221224576 3221223088 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92214 300 300 0 115793 0
vsize: 464372
[startup+870.146 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 212632 0 0 0 86525 496 0 0 25 0 1 0 864885009 475516928 92216 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92216 300 300 0 115793 0
vsize: 464372
[startup+880.154 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 212637 0 0 0 87525 497 0 0 25 0 1 0 864885009 475516928 92221 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92221 300 300 0 115793 0
vsize: 464372
[startup+890.174 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 214740 0 0 0 88521 501 0 0 25 0 1 0 864885009 475516928 92223 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92223 300 300 0 115793 0
vsize: 464372
[startup+900.173 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 214748 0 0 0 89521 502 0 0 25 0 1 0 864885009 475516928 92231 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92231 300 300 0 115793 0
vsize: 464372
[startup+910.173 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 214752 0 0 0 90521 502 0 0 25 0 1 0 864885009 475516928 92235 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92235 300 300 0 115793 0
vsize: 464372
[startup+920.174 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 216854 0 0 0 91516 507 0 0 25 0 1 0 864885009 475516928 92236 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92236 300 300 0 115793 0
vsize: 464372
[startup+930.175 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 216872 0 0 0 92516 507 0 0 25 0 1 0 864885009 475652096 92254 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92254 300 300 0 115826 0
vsize: 464504
[startup+940.175 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 216877 0 0 0 93515 508 0 0 25 0 1 0 864885009 475652096 92259 4294967295 134512640 135726644 3221224576 3221223088 134742398 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92259 300 300 0 115826 0
vsize: 464504
[startup+950.175 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 218982 0 0 0 94510 513 0 0 25 0 1 0 864885009 475652096 92263 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92263 300 300 0 115826 0
vsize: 464504
[startup+960.175 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 218991 0 0 0 95510 514 0 0 25 0 1 0 864885009 475652096 92272 4294967295 134512640 135726644 3221224576 3221223088 134742272 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92272 300 300 0 115826 0
vsize: 464504
[startup+970.174 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 221097 0 0 0 96504 519 0 0 25 0 1 0 864885009 475652096 92277 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92277 300 300 0 115826 0
vsize: 464504
[startup+980.175 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 221102 0 0 0 97504 520 0 0 25 0 1 0 864885009 475652096 92282 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92282 300 300 0 115826 0
vsize: 464504
[startup+990.175 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 223206 0 0 0 98499 525 0 0 25 0 1 0 864885009 475652096 92285 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92285 300 300 0 115826 0
vsize: 464504
[startup+1000.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 223215 0 0 0 99499 525 0 0 25 0 1 0 864885009 475652096 92294 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92294 300 300 0 115826 0
vsize: 464504
[startup+1010.18 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 225321 0 0 0 100494 530 0 0 25 0 1 0 864885009 475652096 92299 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92299 300 300 0 115826 0
vsize: 464504
[startup+1020.18 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 225325 0 0 0 101494 530 0 0 25 0 1 0 864885009 475652096 92303 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92303 300 300 0 115826 0
vsize: 464504
[startup+1030.18 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 225328 0 0 0 102494 531 0 0 25 0 1 0 864885009 475652096 92306 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92306 300 300 0 115826 0
vsize: 464504
[startup+1040.18 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 227461 0 0 0 103489 536 0 0 25 0 1 0 864885009 475787264 92338 4294967295 134512640 135726644 3221224576 3221222992 134738146 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92338 300 300 0 115859 0
vsize: 464636
[startup+1050.18 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 227462 0 0 0 104489 536 0 0 25 0 1 0 864885009 475787264 92339 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92339 300 300 0 115859 0
vsize: 464636
[startup+1060.18 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 227464 0 0 0 105489 537 0 0 25 0 1 0 864885009 475787264 92341 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92341 300 300 0 115859 0
vsize: 464636
[startup+1070.18 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 229566 0 0 0 106484 542 0 0 25 0 1 0 864885009 484392960 94443 4294967295 134512640 135726644 3221224576 3221222736 134765521 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118260 94443 300 300 0 117960 0
vsize: 473040
[startup+1080.18 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 229570 0 0 0 107484 542 0 0 25 0 1 0 864885009 475787264 92346 4294967295 134512640 135726644 3221224576 3221222824 135281194 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92346 300 300 0 115859 0
vsize: 464636
[startup+1090.18 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 229576 0 0 0 108484 542 0 0 25 0 1 0 864885009 475787264 92352 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92352 300 300 0 115859 0
vsize: 464636
[startup+1100.18 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 229579 0 0 0 109484 542 0 0 25 0 1 0 864885009 475787264 92355 4294967295 134512640 135726644 3221224576 3221223088 134742198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92355 300 300 0 115859 0
vsize: 464636
[startup+1110.18 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 9414
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 231682 0 0 0 110479 548 0 0 25 0 1 0 864885009 475787264 92357 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92357 300 300 0 115859 0
vsize: 464636
[startup+1120.18 s]
Raw data (loadavg): 1.11 1.01 0.93 2/54 9467
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 231684 0 0 0 111478 548 0 0 25 0 1 0 864885009 475787264 92359 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92359 300 300 0 115859 0
vsize: 464636
[startup+1130.18 s]
Raw data (loadavg): 1.10 1.01 0.93 2/54 9467
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 231687 0 0 0 112478 549 0 0 25 0 1 0 864885009 475787264 92362 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92362 300 300 0 115859 0
vsize: 464636
[startup+1140.18 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 9467
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 233790 0 0 0 113472 554 0 0 25 0 1 0 864885009 475787264 92364 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92364 300 300 0 115859 0
vsize: 464636
[startup+1150.18 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 9467
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 233793 0 0 0 114473 554 0 0 25 0 1 0 864885009 475787264 92367 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92367 300 300 0 115859 0
vsize: 464636
[startup+1160.19 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 9467
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 233797 0 0 0 115473 554 0 0 25 0 1 0 864885009 475787264 92371 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92371 300 300 0 115859 0
vsize: 464636
[startup+1170.19 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 9467
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 233807 0 0 0 116473 555 0 0 25 0 1 0 864885009 475787264 92381 4294967295 134512640 135726644 3221224576 3221223228 134744472 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92381 300 300 0 115859 0
vsize: 464636
[startup+1180.19 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 9467
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 235910 0 0 0 117468 560 0 0 25 0 1 0 864885009 475787264 92383 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92383 300 300 0 115859 0
vsize: 464636
[startup+1190.19 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 9469
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 235912 0 0 0 118468 561 0 0 25 0 1 0 864885009 475787264 92385 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92385 300 300 0 115859 0
vsize: 464636
[startup+1200.19 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 9469
Raw data (stat): 9414 (pb2sat) R 9413 5562 5561 0 -1 0 235915 0 0 0 119467 562 0 0 25 0 1 0 864885009 475787264 92388 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92388 300 300 0 115859 0
vsize: 464636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.56 s]
Raw data (loadavg): 1.03 1.00 0.93 1/54 9469
Raw data (stat): 9414 (pb2sat) Z 9413 5562 5561 0 -1 1036 235918 0 0 0 119581 581 0 0 23 0 1 0 864885009 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1201.56
CPU time (s): 1201.62
CPU user time (s): 1195.81
CPU system time (s): 5.81012
CPU usage (%): 100.005
Max. virtual memory (Kb): 473040
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####