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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM	1b379137169731592d0d61cac8bf57af
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5123480
Optimality of the best value was proved	NO
Number of terms in the objective function	8282
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	524133752
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	524133752
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1243.61
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 42784

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 14:48:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25996 boxname=wulflinc6 idbench=1296 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1b379137169731592d0d61cac8bf57af  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 25996
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        724500 kB
Buffers:         17200 kB
Cached:         270120 kB
SwapCached:       1000 kB
Active:          27280 kB
Inactive:       262204 kB
HighTotal:      131008 kB
HighFree:         9408 kB
LowTotal:       903652 kB
LowFree:        715092 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15004 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 15:08:04 (client local time) WITH STATUS 0 IN 1202.45 SECONDS
stats: 25996 7 1202.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 321681/1103678	Time: 216.522/86400
c Decision: 321681/1103678	Time: 246.088/86400
c Decision: 321681/1103678	Time: 272.085/86400
c Decision: 321681/1103678	Time: 299.032/86400
c Decision: 321681/1103678	Time: 324.693/86400
c Decision: 321681/1103678	Time: 348.644/86400
c Decision: 321681/1103678	Time: 369.675/86400
c Decision: 321681/1103678	Time: 398.107/86400
c Decision: 321681/1103678	Time: 425.767/86400
c Decision: 321681/1103678	Time: 453.79/86400
c Decision: 321681/1103678	Time: 486.457/86400
c Decision: 321681/1103678	Time: 510.884/86400
c Decision: 321681/1103678	Time: 541.389/86400
c Decision: 321681/1103678	Time: 569.872/86400
c Decision: 321681/1103678	Time: 595.156/86400
c Decision: 321681/1103678	Time: 624.489/86400
c Decision: 321681/1103678	Time: 649.152/86400
c Decision: 321681/1103678	Time: 674.133/86400
c Decision: 321681/1103678	Time: 697.928/86400
c Decision: 321681/1103678	Time: 721.963/86400
c Decision: 321681/1103678	Time: 749.75/86400
c Decision: 321681/1103678	Time: 773.007/86400
c Decision: 321681/1103678	Time: 795.718/86400
c Decision: 321681/1103678	Time: 815.761/86400
c Decision: 321681/1103678	Time: 835.814/86400
c Decision: 321681/1103678	Time: 856.749/86400
c Decision: 321681/1103678	Time: 874.649/86400
c Decision: 321681/1103678	Time: 898.863/86400
c Decision: 321681/1103678	Time: 918.386/86400
c Decision: 321681/1103678	Time: 947.194/86400
c Decision: 321681/1103678	Time: 975.792/86400
c Decision: 321681/1103678	Time: 995.632/86400
c Decision: 321681/1103678	Time: 1013.05/86400
c Decision: 321681/1103678	Time: 1029.48/86400
c Decision: 321681/1103678	Time: 1046.58/86400
c Decision: 321681/1103678	Time: 1068.78/86400
c Decision: 321681/1103678	Time: 1087.06/86400
c Decision: 321681/1103678	Time: 1111.3/86400
c Decision: 321681/1103678	Time: 1128.24/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.92 0.95 0.90 2/54 22426
Raw data (stat): 22426 (runsolver) R 22425 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971601339 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+9.99969 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 25614 0 0 0 941 58 0 0 25 0 1 0 971601339 80240640 14599 4294967295 134512640 135730672 3221224576 3221087936 134608794 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19590 14599 301 301 0 19289 0
vsize: 78360
[startup+19.9997 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 52182 0 0 0 1881 117 0 0 25 0 1 0 971601339 154472448 30191 4294967295 134512640 135730672 3221224576 3221005044 135292740 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37713 30191 301 301 0 37412 0
vsize: 150852
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 91299 0 0 0 2797 202 0 0 25 0 1 0 971601339 269180928 47611 4294967295 134512640 135730672 3221224576 3221092880 134549880 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65718 47611 301 301 0 65417 0
vsize: 262872
[startup+40 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 105293 0 0 0 3764 235 0 0 25 0 1 0 971601339 303816704 61358 4294967295 134512640 135730672 3221224576 3220944428 134608696 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74174 61358 301 301 0 73873 0
vsize: 296696
[startup+50.0001 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 148078 0 0 0 4678 321 0 0 25 0 1 0 971601339 505630720 102941 4294967295 134512640 135730672 3221224576 3221171136 135282216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123445 102941 301 301 0 123144 0
vsize: 493780
[startup+59.9999 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 180794 0 0 0 5606 393 0 0 25 0 1 0 971601339 552210432 91461 4294967295 134512640 135730672 3221224576 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134817 91461 301 301 0 134516 0
vsize: 539268
[startup+69.9994 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 180800 0 0 0 6605 394 0 0 25 0 1 0 971601339 552210432 91467 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134817 91467 301 301 0 134516 0
vsize: 539268
[startup+79.9996 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 180805 0 0 0 7605 395 0 0 25 0 1 0 971601339 552210432 91472 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134817 91472 301 301 0 134516 0
vsize: 539268
[startup+89.9994 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 180813 0 0 0 8604 395 0 0 25 0 1 0 971601339 552210432 91480 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134817 91480 301 301 0 134516 0
vsize: 539268
[startup+99.9989 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 180825 0 0 0 9604 396 0 0 25 0 1 0 971601339 552210432 91492 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134817 91492 301 301 0 134516 0
vsize: 539268
[startup+109.999 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 180837 0 0 0 10604 396 0 0 25 0 1 0 971601339 552210432 91504 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134817 91504 301 301 0 134516 0
vsize: 539268
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 180935 0 0 0 11604 397 0 0 25 0 1 0 971601339 552660992 91602 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134927 91602 301 301 0 134626 0
vsize: 539708
[startup+129.999 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181414 0 0 0 12603 398 0 0 25 0 1 0 971601339 555597824 92081 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 135644 92081 301 301 0 135343 0
vsize: 542576
[startup+139.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181564 0 0 0 13602 399 0 0 25 0 1 0 971601339 556191744 92198 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 135789 92198 301 301 0 135488 0
vsize: 543156
[startup+149.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181626 0 0 0 14602 399 0 0 25 0 1 0 971601339 556523520 92260 4294967295 134512640 135730672 3221224576 3221223200 134748179 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 135870 92260 301 301 0 135569 0
vsize: 543480
[startup+159.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181778 0 0 0 15602 400 0 0 25 0 1 0 971601339 557395968 92412 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136083 92412 301 301 0 135782 0
vsize: 544332
[startup+169.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181832 0 0 0 16602 401 0 0 25 0 1 0 971601339 557666304 92466 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136149 92466 301 301 0 135848 0
vsize: 544596
[startup+179.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181877 0 0 0 17602 401 0 0 25 0 1 0 971601339 557801472 92511 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136182 92511 301 301 0 135881 0
vsize: 544728
[startup+189.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181901 0 0 0 18602 401 0 0 25 0 1 0 971601339 557801472 92535 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136182 92535 301 301 0 135881 0
vsize: 544728
[startup+199.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181985 0 0 0 19602 401 0 0 25 0 1 0 971601339 558206976 92619 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136281 92619 301 301 0 135980 0
vsize: 545124
[startup+209.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181997 0 0 0 20602 401 0 0 25 0 1 0 971601339 558206976 92631 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136281 92631 301 301 0 135980 0
vsize: 545124
[startup+219.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 182013 0 0 0 21602 402 0 0 25 0 1 0 971601339 558206976 92647 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136281 92647 301 301 0 135980 0
vsize: 545124
[startup+229.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 182112 0 0 0 22602 402 0 0 25 0 1 0 971601339 558612480 92746 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136380 92746 301 301 0 136079 0
vsize: 545520
[startup+239.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 182277 0 0 0 23601 403 0 0 25 0 1 0 971601339 559558656 92911 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136611 92911 301 301 0 136310 0
vsize: 546444
[startup+249.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 182288 0 0 0 24602 403 0 0 25 0 1 0 971601339 559558656 92922 4294967295 134512640 135730672 3221224576 3221223264 134748577 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136611 92922 301 301 0 136310 0
vsize: 546444
[startup+259.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 182306 0 0 0 25602 403 0 0 25 0 1 0 971601339 559558656 92940 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136611 92940 301 301 0 136310 0
vsize: 546444
[startup+269.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 184471 0 0 0 26597 408 0 0 25 0 1 0 971601339 559558656 92949 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136611 92949 301 301 0 136310 0
vsize: 546444
[startup+279.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 184563 0 0 0 27597 409 0 0 25 0 1 0 971601339 559951872 93041 4294967295 134512640 135730672 3221224576 3221223200 134748132 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136707 93041 301 301 0 136406 0
vsize: 546828
[startup+289.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 184601 0 0 0 28596 410 0 0 25 0 1 0 971601339 560222208 93079 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136773 93079 301 301 0 136472 0
vsize: 547092
[startup+299.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 186795 0 0 0 29591 415 0 0 25 0 1 0 971601339 569188352 95273 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138962 95273 301 301 0 138661 0
vsize: 555848
[startup+309.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 186893 0 0 0 30589 417 0 0 25 0 1 0 971601339 560959488 93215 4294967295 134512640 135730672 3221224576 3221223200 134748214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136953 93215 301 301 0 136652 0
vsize: 547812
[startup+319.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 186939 0 0 0 31588 418 0 0 25 0 1 0 971601339 561229824 93261 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137019 93261 301 301 0 136718 0
vsize: 548076
[startup+329.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 189116 0 0 0 32582 424 0 0 25 0 1 0 971601339 561364992 93282 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137052 93282 301 301 0 136751 0
vsize: 548208
[startup+339.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 189204 0 0 0 33581 424 0 0 25 0 1 0 971601339 561905664 93370 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137184 93370 301 301 0 136883 0
vsize: 548736
[startup+349.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 189259 0 0 0 34581 425 0 0 25 0 1 0 971601339 562176000 93425 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137250 93425 301 301 0 136949 0
vsize: 549000
[startup+359.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 191418 0 0 0 35576 430 0 0 25 0 1 0 971601339 562176000 93428 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137250 93428 301 301 0 136949 0
vsize: 549000
[startup+369.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 191420 0 0 0 36576 431 0 0 25 0 1 0 971601339 562176000 93430 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137250 93430 301 301 0 136949 0
vsize: 549000
[startup+379.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 193577 0 0 0 37570 437 0 0 25 0 1 0 971601339 562176000 93431 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137250 93431 301 301 0 136949 0
vsize: 549000
[startup+389.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 193635 0 0 0 38569 438 0 0 25 0 1 0 971601339 562442240 93456 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137315 93456 301 301 0 137014 0
vsize: 549260
[startup+399.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 195921 0 0 0 39564 444 0 0 25 0 1 0 971601339 571944960 95709 4294967295 134512640 135730672 3221224576 3221222784 134769526 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139635 95709 301 301 0 139334 0
vsize: 558540
[startup+409.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 195923 0 0 0 40562 445 0 0 25 0 1 0 971601339 563113984 93555 4294967295 134512640 135730672 3221224576 3221223200 134748200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137479 93555 301 301 0 137178 0
vsize: 549916
[startup+419.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 195932 0 0 0 41562 446 0 0 25 0 1 0 971601339 563113984 93564 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137479 93564 301 301 0 137178 0
vsize: 549916
[startup+429.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 198089 0 0 0 42557 451 0 0 25 0 1 0 971601339 563113984 93565 4294967295 134512640 135730672 3221224576 3221223232 134734790 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137479 93565 301 301 0 137178 0
vsize: 549916
[startup+439.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 198134 0 0 0 43556 452 0 0 25 0 1 0 971601339 563249152 93610 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137512 93610 301 301 0 137211 0
vsize: 550048
[startup+450 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 198232 0 0 0 44556 453 0 0 25 0 1 0 971601339 563650560 93675 4294967295 134512640 135730672 3221224576 3221223088 134745887 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137610 93675 301 301 0 137309 0
vsize: 550440
[startup+459.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 200416 0 0 0 45551 458 0 0 25 0 1 0 971601339 563785728 93703 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137643 93703 301 301 0 137342 0
vsize: 550572
[startup+469.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 200440 0 0 0 46550 459 0 0 25 0 1 0 971601339 563920896 93727 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137676 93727 301 301 0 137375 0
vsize: 550704
[startup+480 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 202619 0 0 0 47545 464 0 0 25 0 1 0 971601339 572887040 95906 4294967295 134512640 135730672 3221224576 3221222724 134769153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139865 95906 301 301 0 139564 0
vsize: 559460
[startup+490 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 202651 0 0 0 48545 465 0 0 25 0 1 0 971601339 564191232 93782 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137742 93782 301 301 0 137441 0
vsize: 550968
[startup+500 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 202656 0 0 0 49544 466 0 0 25 0 1 0 971601339 564191232 93787 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137742 93787 301 301 0 137441 0
vsize: 550968
[startup+510.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 204834 0 0 0 50539 471 0 0 25 0 1 0 971601339 564326400 93809 4294967295 134512640 135730672 3221224576 3221223168 134764027 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137775 93809 301 301 0 137474 0
vsize: 551100
[startup+520.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 204872 0 0 0 51539 472 0 0 25 0 1 0 971601339 564461568 93847 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137808 93847 301 301 0 137507 0
vsize: 551232
[startup+530.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 204908 0 0 0 52538 473 0 0 25 0 1 0 971601339 564596736 93883 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137841 93883 301 301 0 137540 0
vsize: 551364
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 207065 0 0 0 53533 479 0 0 25 0 1 0 971601339 564596736 93884 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137841 93884 301 301 0 137540 0
vsize: 551364
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 207067 0 0 0 54533 479 0 0 25 0 1 0 971601339 564596736 93886 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137841 93886 301 301 0 137540 0
vsize: 551364
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 207093 0 0 0 55532 481 0 0 25 0 1 0 971601339 564731904 93912 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137874 93912 301 301 0 137573 0
vsize: 551496
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 209295 0 0 0 56527 486 0 0 25 0 1 0 971601339 564862976 93925 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137906 93925 301 301 0 137605 0
vsize: 551624
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 209299 0 0 0 57526 487 0 0 25 0 1 0 971601339 564862976 93929 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137906 93929 301 301 0 137605 0
vsize: 551624
[startup+590.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 209411 0 0 0 58526 488 0 0 25 0 1 0 971601339 565538816 94041 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138071 94041 301 301 0 137770 0
vsize: 552284
[startup+600.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 211570 0 0 0 59521 493 0 0 25 0 1 0 971601339 565538816 94044 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138071 94044 301 301 0 137770 0
vsize: 552284
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 211576 0 0 0 60521 494 0 0 25 0 1 0 971601339 565538816 94050 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138071 94050 301 301 0 137770 0
vsize: 552284
[startup+620.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 211609 0 0 0 61520 494 0 0 25 0 1 0 971601339 565673984 94083 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138104 94083 301 301 0 137803 0
vsize: 552416
[startup+630.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 213775 0 0 0 62515 500 0 0 25 0 1 0 971601339 565673984 94093 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138104 94093 301 301 0 137803 0
vsize: 552416
[startup+640.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 213802 0 0 0 63515 501 0 0 25 0 1 0 971601339 565809152 94120 4294967295 134512640 135730672 3221224576 3221222896 134732500 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138137 94120 301 301 0 137836 0
vsize: 552548
[startup+650.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 215967 0 0 0 64509 506 0 0 25 0 1 0 971601339 565809152 94129 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138137 94129 301 301 0 137836 0
vsize: 552548
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 215973 0 0 0 65509 507 0 0 25 0 1 0 971601339 565809152 94135 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138137 94135 301 301 0 137836 0
vsize: 552548
[startup+670.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 215977 0 0 0 66509 507 0 0 25 0 1 0 971601339 565809152 94139 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138137 94139 301 301 0 137836 0
vsize: 552548
[startup+680.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 218134 0 0 0 67503 513 0 0 25 0 1 0 971601339 565809152 94140 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138137 94140 301 301 0 137836 0
vsize: 552548
[startup+690.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 218159 0 0 0 68502 515 0 0 25 0 1 0 971601339 565944320 94165 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138170 94165 301 301 0 137869 0
vsize: 552680
[startup+700.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 218183 0 0 0 69502 516 0 0 25 0 1 0 971601339 566079488 94189 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138203 94189 301 301 0 137902 0
vsize: 552812
[startup+710.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 220342 0 0 0 70497 521 0 0 25 0 1 0 971601339 566079488 94192 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138203 94192 301 301 0 137902 0
vsize: 552812
[startup+720.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22426
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 220348 0 0 0 71497 521 0 0 25 0 1 0 971601339 566079488 94198 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138203 94198 301 301 0 137902 0
vsize: 552812
[startup+730.004 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 22479
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 222508 0 0 0 72490 527 0 0 25 0 1 0 971601339 566079488 94202 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138203 94202 301 301 0 137902 0
vsize: 552812
[startup+740.004 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 22479
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 222516 0 0 0 73490 528 0 0 25 0 1 0 971601339 566079488 94210 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138203 94210 301 301 0 137902 0
vsize: 552812
[startup+750.005 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 22479
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 222544 0 0 0 74489 529 0 0 25 0 1 0 971601339 566214656 94238 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138236 94238 301 301 0 137935 0
vsize: 552944
[startup+760.006 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 22479
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 224707 0 0 0 75483 535 0 0 25 0 1 0 971601339 566214656 94245 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138236 94245 301 301 0 137935 0
vsize: 552944
[startup+770.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 22479
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 224712 0 0 0 76483 536 0 0 25 0 1 0 971601339 566214656 94250 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138236 94250 301 301 0 137935 0
vsize: 552944
[startup+780.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 22479
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 226909 0 0 0 77478 541 0 0 25 0 1 0 971601339 566484992 94291 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138302 94291 301 301 0 138001 0
vsize: 553208
[startup+790.006 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 226933 0 0 0 78478 542 0 0 25 0 1 0 971601339 566620160 94315 4294967295 134512640 135730672 3221224576 3221223168 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94315 301 301 0 138034 0
vsize: 553340
[startup+800.006 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 229095 0 0 0 79473 547 0 0 25 0 1 0 971601339 575451136 96477 4294967295 134512640 135730672 3221224576 3221222724 134769153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140491 96477 301 301 0 140190 0
vsize: 561964
[startup+810.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 229099 0 0 0 80472 548 0 0 25 0 1 0 971601339 566620160 94325 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94325 301 301 0 138034 0
vsize: 553340
[startup+820.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 229101 0 0 0 81472 549 0 0 25 0 1 0 971601339 566620160 94327 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94327 301 301 0 138034 0
vsize: 553340
[startup+830.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 231258 0 0 0 82467 554 0 0 25 0 1 0 971601339 566620160 94328 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94328 301 301 0 138034 0
vsize: 553340
[startup+840.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 231262 0 0 0 83467 555 0 0 25 0 1 0 971601339 566620160 94332 4294967295 134512640 135730672 3221224576 3221222960 135109367 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94332 301 301 0 138034 0
vsize: 553340
[startup+850.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 233423 0 0 0 84463 558 0 0 25 0 1 0 971601339 575451136 96493 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140491 96493 301 301 0 140190 0
vsize: 561964
[startup+860.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 233431 0 0 0 85463 560 0 0 25 0 1 0 971601339 566620160 94345 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94345 301 301 0 138034 0
vsize: 553340
[startup+870.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 235592 0 0 0 86457 565 0 0 25 0 1 0 971601339 575451136 96506 4294967295 134512640 135730672 3221224576 3221222720 134769157 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140491 96506 301 301 0 140190 0
vsize: 561964
[startup+880.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 235599 0 0 0 87457 566 0 0 25 0 1 0 971601339 566620160 94357 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94357 301 301 0 138034 0
vsize: 553340
[startup+890.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 237761 0 0 0 88451 572 0 0 25 0 1 0 971601339 575451136 96519 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140491 96519 301 301 0 140190 0
vsize: 561964
[startup+900.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 237775 0 0 0 89450 573 0 0 25 0 1 0 971601339 566620160 94377 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94377 301 301 0 138034 0
vsize: 553340
[startup+910.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 239935 0 0 0 90445 579 0 0 25 0 1 0 971601339 566620160 94381 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94381 301 301 0 138034 0
vsize: 553340
[startup+920.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 239954 0 0 0 91445 579 0 0 25 0 1 0 971601339 566755328 94400 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138368 94400 301 301 0 138067 0
vsize: 553472
[startup+930.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 242131 0 0 0 92440 585 0 0 25 0 1 0 971601339 566890496 94421 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138401 94421 301 301 0 138100 0
vsize: 553604
[startup+940.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 242133 0 0 0 93439 585 0 0 25 0 1 0 971601339 566890496 94423 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138401 94423 301 301 0 138100 0
vsize: 553604
[startup+950.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 242156 0 0 0 94439 586 0 0 25 0 1 0 971601339 567025664 94446 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138434 94446 301 301 0 138133 0
vsize: 553736
[startup+960.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 244317 0 0 0 95433 592 0 0 25 0 1 0 971601339 567025664 94451 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138434 94451 301 301 0 138133 0
vsize: 553736
[startup+970.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 244342 0 0 0 96433 593 0 0 25 0 1 0 971601339 567160832 94476 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138467 94476 301 301 0 138166 0
vsize: 553868
[startup+980.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 246536 0 0 0 97427 599 0 0 25 0 1 0 971601339 567431168 94514 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138533 94514 301 301 0 138232 0
vsize: 554132
[startup+990.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 246642 0 0 0 98427 600 0 0 25 0 1 0 971601339 568107008 94620 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138698 94620 301 301 0 138397 0
vsize: 554792
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 248821 0 0 0 99422 605 0 0 25 0 1 0 971601339 577073152 96799 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140887 96799 301 301 0 140586 0
vsize: 563548
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 248844 0 0 0 100421 606 0 0 25 0 1 0 971601339 568377344 94666 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94666 301 301 0 138463 0
vsize: 555056
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 248850 0 0 0 101420 607 0 0 25 0 1 0 971601339 568377344 94672 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94672 301 301 0 138463 0
vsize: 555056
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22481
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 251007 0 0 0 102414 614 0 0 25 0 1 0 971601339 568377344 94673 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94673 301 301 0 138463 0
vsize: 555056
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 251010 0 0 0 103414 614 0 0 25 0 1 0 971601339 568377344 94676 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94676 301 301 0 138463 0
vsize: 555056
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 253168 0 0 0 104409 619 0 0 25 0 1 0 971601339 577208320 96834 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140920 96834 301 301 0 140619 0
vsize: 563680
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 253170 0 0 0 105409 620 0 0 25 0 1 0 971601339 568377344 94680 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94680 301 301 0 138463 0
vsize: 555056
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 255328 0 0 0 106403 626 0 0 25 0 1 0 971601339 568377344 94682 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94682 301 301 0 138463 0
vsize: 555056
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 255331 0 0 0 107403 627 0 0 25 0 1 0 971601339 568377344 94685 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94685 301 301 0 138463 0
vsize: 555056
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 255336 0 0 0 108402 628 0 0 25 0 1 0 971601339 568377344 94690 4294967295 134512640 135730672 3221224576 3221223072 134747720 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94690 301 301 0 138463 0
vsize: 555056
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 257495 0 0 0 109397 634 0 0 25 0 1 0 971601339 577208320 96849 4294967295 134512640 135730672 3221224576 3221222752 134769202 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140920 96849 301 301 0 140619 0
vsize: 563680
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 257502 0 0 0 110396 635 0 0 25 0 1 0 971601339 568377344 94700 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94700 301 301 0 138463 0
vsize: 555056
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 259662 0 0 0 111390 641 0 0 25 0 1 0 971601339 568377344 94704 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94704 301 301 0 138463 0
vsize: 555056
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 259664 0 0 0 112390 642 0 0 25 0 1 0 971601339 568377344 94706 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94706 301 301 0 138463 0
vsize: 555056
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 261826 0 0 0 113385 647 0 0 25 0 1 0 971601339 577208320 96868 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140920 96868 301 301 0 140619 0
vsize: 563680
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 261832 0 0 0 114384 648 0 0 25 0 1 0 971601339 568377344 94718 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94718 301 301 0 138463 0
vsize: 555056
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 261839 0 0 0 115383 649 0 0 25 0 1 0 971601339 568377344 94725 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94725 301 301 0 138463 0
vsize: 555056
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 263999 0 0 0 116377 656 0 0 25 0 1 0 971601339 568377344 94729 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94729 301 301 0 138463 0
vsize: 555056
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 264008 0 0 0 117376 657 0 0 25 0 1 0 971601339 568377344 94738 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94738 301 301 0 138463 0
vsize: 555056
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 264015 0 0 0 118375 658 0 0 25 0 1 0 971601339 568377344 94745 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94745 301 301 0 138463 0
vsize: 555056
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 264020 0 0 0 119375 659 0 0 25 0 1 0 971601339 568377344 94750 4294967295 134512640 135730672 3221224576 3221223244 134748653 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94750 301 301 0 138463 0
vsize: 555056
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.12 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 22483
Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 264020 0 0 0 119375 659 0 0 25 0 1 0 971601339 568377344 94750 4294967295 134512640 135730672 3221224576 3221223244 134748653 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94750 301 301 0 138463 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.12
CPU time (s): 1202.45
CPU user time (s): 1195.67
CPU system time (s): 6.78397
CPU usage (%): 100.027
Max. virtual memory (Kb): 563680
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####