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/miplib2003/normalized-mps-v2-13-7-pk1.opb
MD5SUM	9c5126d785c8d5465220e290c5fc25a6
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5120
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	2421502
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.04
Number of variables	675
Total number of constraints	100
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	45
Minimum length of a constraint	1
Maximum length of a constraint	95
Trace number 42865

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 16:51:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26077 boxname=wulflinc6 idbench=1377 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9c5126d785c8d5465220e290c5fc25a6  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-pk1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-pk1.opb
IDLAUNCH: 26077
/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:        683248 kB
Buffers:         24692 kB
Cached:         304176 kB
SwapCached:       1000 kB
Active:          28824 kB
Inactive:       302224 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        682996 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14728 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 17:11:21 (client local time) WITH STATUS 0 IN 1202.46 SECONDS
stats: 26077 7 1202.46 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 172/908607	Time: 224.784/86400
c Decision: 172/908607	Time: 339.683/86400
c Decision: 174/908607	Time: 512.449/86400
c Decision: 174/908607	Time: 604.123/86400
c Decision: 174/908607	Time: 749.486/86400
c Decision: 174/908607	Time: 876.554/86400
c Decision: 174/908607	Time: 1034.43/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.93 0.98 0.91 1/54 23651
Raw data (stat): 23651 (runsolver) R 23650 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972341186 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 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 26382 0 0 0 944 55 0 0 25 0 1 0 972341186 77049856 15308 4294967295 134512640 135730672 3221224576 3221202160 135291187 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18811 15308 301 301 0 18510 0
vsize: 75244
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 51812 0 0 0 1893 106 0 0 25 0 1 0 972341186 151146496 29780 4294967295 134512640 135730672 3221224576 3221204760 135285475 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36901 29780 301 301 0 36600 0
vsize: 147604
[startup+30.0002 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 90134 0 0 0 2814 185 0 0 25 0 1 0 972341186 267948032 46428 4294967295 134512640 135730672 3221224576 3221204712 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65417 46429 301 301 0 65116 0
vsize: 261668
[startup+39.9995 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 102971 0 0 0 3786 213 0 0 25 0 1 0 972341186 301502464 59031 4294967295 134512640 135730672 3221224576 3221204792 135285058 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73609 59031 301 301 0 73308 0
vsize: 294436
[startup+50 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 113957 0 0 0 4759 240 0 0 25 0 1 0 972341186 325447680 68170 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79455 68170 301 301 0 79154 0
vsize: 317820
[startup+60.0001 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 114593 0 0 0 5757 242 0 0 25 0 1 0 972341186 328245248 68709 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 80138 68709 301 301 0 79837 0
vsize: 320552
[startup+69.9999 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 115471 0 0 0 6755 244 0 0 25 0 1 0 972341186 330653696 69194 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 80726 69194 301 301 0 80425 0
vsize: 322904
[startup+80.0005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 116303 0 0 0 7754 246 0 0 25 0 1 0 972341186 333426688 69602 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81403 69602 301 301 0 81102 0
vsize: 325612
[startup+90.0006 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 116573 0 0 0 8754 247 0 0 25 0 1 0 972341186 334225408 69807 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81598 69807 301 301 0 81297 0
vsize: 326392
[startup+100 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 116767 0 0 0 9753 247 0 0 25 0 1 0 972341186 334753792 69903 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81727 69903 301 301 0 81426 0
vsize: 326908
[startup+110.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 116957 0 0 0 10753 248 0 0 25 0 1 0 972341186 335147008 69995 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81823 69995 301 301 0 81522 0
vsize: 327292
[startup+120.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 117133 0 0 0 11753 248 0 0 25 0 1 0 972341186 335675392 70106 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81952 70106 301 301 0 81651 0
vsize: 327808
[startup+130.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 118159 0 0 0 12750 251 0 0 25 0 1 0 972341186 339734528 70823 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82943 70823 301 301 0 82642 0
vsize: 331772
[startup+140 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 121377 0 0 0 13745 257 0 0 25 0 1 0 972341186 348827648 72294 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85163 72294 301 301 0 84862 0
vsize: 340652
[startup+150 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 122490 0 0 0 14743 259 0 0 25 0 1 0 972341186 351952896 72762 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85926 72762 301 301 0 85625 0
vsize: 343704
[startup+160 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 123022 0 0 0 15743 260 0 0 25 0 1 0 972341186 353337344 73036 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86264 73037 301 301 0 85963 0
vsize: 345056
[startup+170 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 123772 0 0 0 16741 262 0 0 25 0 1 0 972341186 355307520 73365 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86745 73365 301 301 0 86444 0
vsize: 346980
[startup+180 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 124942 0 0 0 17740 263 0 0 25 0 1 0 972341186 358457344 73792 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87514 73792 301 301 0 87213 0
vsize: 350056
[startup+190 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 126140 0 0 0 18738 265 0 0 25 0 1 0 972341186 361488384 74374 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88254 74374 301 301 0 87953 0
vsize: 353016
[startup+199.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 126956 0 0 0 19737 266 0 0 25 0 1 0 972341186 363192320 74769 4294967295 134512640 135730672 3221224576 3221223228 134748262 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88670 74769 301 301 0 88369 0
vsize: 354680
[startup+209.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 127562 0 0 0 20736 267 0 0 25 0 1 0 972341186 365182976 75082 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89156 75082 301 301 0 88855 0
vsize: 356624
[startup+219.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 128027 0 0 0 21735 269 0 0 25 0 1 0 972341186 366907392 75449 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89577 75449 301 301 0 89276 0
vsize: 358308
[startup+229.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 128211 0 0 0 22735 269 0 0 25 0 1 0 972341186 367435776 75534 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89706 75534 301 301 0 89405 0
vsize: 358824
[startup+239.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 128839 0 0 0 23734 271 0 0 25 0 1 0 972341186 369422336 75835 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90191 75835 301 301 0 89890 0
vsize: 360764
[startup+249.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 129389 0 0 0 24733 272 0 0 25 0 1 0 972341186 371408896 76156 4294967295 134512640 135730672 3221224576 3221223200 134748168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90676 76156 301 301 0 90375 0
vsize: 362704
[startup+259.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 129473 0 0 0 25733 273 0 0 25 0 1 0 972341186 371671040 76175 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90740 76175 301 301 0 90439 0
vsize: 362960
[startup+269.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 131364 0 0 0 26728 278 0 0 25 0 1 0 972341186 372072448 76258 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90838 76258 301 301 0 90537 0
vsize: 363352
[startup+279.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 131891 0 0 0 27727 278 0 0 25 0 1 0 972341186 373391360 76557 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91160 76557 301 301 0 90859 0
vsize: 364640
[startup+289.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 132084 0 0 0 28727 279 0 0 25 0 1 0 972341186 373923840 76685 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91290 76685 301 301 0 90989 0
vsize: 365160
[startup+300 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 132084 0 0 0 29727 279 0 0 25 0 1 0 972341186 373923840 76685 4294967295 134512640 135730672 3221224576 3221223200 134748073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91290 76685 301 301 0 90989 0
vsize: 365160
[startup+309.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 132085 0 0 0 30728 279 0 0 25 0 1 0 972341186 373923840 76686 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91290 76686 301 301 0 90989 0
vsize: 365160
[startup+319.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 132159 0 0 0 31727 279 0 0 25 0 1 0 972341186 374190080 76727 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91355 76727 301 301 0 91054 0
vsize: 365420
[startup+329.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 133574 0 0 0 32725 282 0 0 25 0 1 0 972341186 377733120 77302 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92220 77302 301 301 0 91919 0
vsize: 368880
[startup+339.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 134556 0 0 0 33724 284 0 0 25 0 1 0 972341186 381272064 77890 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93084 77890 301 301 0 92783 0
vsize: 372336
[startup+349.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 135232 0 0 0 34723 285 0 0 25 0 1 0 972341186 383504384 78273 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93629 78273 301 301 0 93328 0
vsize: 374516
[startup+359.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 137475 0 0 0 35718 290 0 0 25 0 1 0 972341186 389144576 79193 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95006 79193 301 301 0 94705 0
vsize: 380024
[startup+369.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 138511 0 0 0 36716 292 0 0 25 0 1 0 972341186 391770112 79648 4294967295 134512640 135730672 3221224576 3221223072 134747856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95647 79648 301 301 0 95346 0
vsize: 382588
[startup+379.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 138973 0 0 0 37715 293 0 0 25 0 1 0 972341186 392818688 79853 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95903 79853 301 301 0 95602 0
vsize: 383612
[startup+389.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 139598 0 0 0 38714 295 0 0 25 0 1 0 972341186 394268672 80218 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96257 80218 301 301 0 95956 0
vsize: 385028
[startup+399.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 140221 0 0 0 39712 297 0 0 25 0 1 0 972341186 395841536 80455 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96641 80455 301 301 0 96340 0
vsize: 386564
[startup+409.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 140588 0 0 0 40712 298 0 0 25 0 1 0 972341186 396894208 80628 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96898 80628 301 301 0 96597 0
vsize: 387592
[startup+419.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 141102 0 0 0 41711 299 0 0 25 0 1 0 972341186 398467072 80756 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97282 80756 301 301 0 96981 0
vsize: 389128
[startup+429.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 141423 0 0 0 42710 300 0 0 25 0 1 0 972341186 399126528 80948 4294967295 134512640 135730672 3221224576 3221223200 134748191 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97443 80948 301 301 0 97142 0
vsize: 389772
[startup+439.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 141629 0 0 0 43710 300 0 0 25 0 1 0 972341186 399904768 81024 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97633 81024 301 301 0 97332 0
vsize: 390532
[startup+449.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 142003 0 0 0 44709 301 0 0 25 0 1 0 972341186 400953344 81140 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97889 81140 301 301 0 97588 0
vsize: 391556
[startup+459.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 142909 0 0 0 45708 303 0 0 25 0 1 0 972341186 403181568 81499 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98433 81499 301 301 0 98132 0
vsize: 393732
[startup+469.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 143476 0 0 0 46707 305 0 0 25 0 1 0 972341186 404754432 81680 4294967295 134512640 135730672 3221224576 3221223200 134748132 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98817 81680 301 301 0 98516 0
vsize: 395268
[startup+479.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 143536 0 0 0 47707 305 0 0 25 0 1 0 972341186 404754432 81740 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98817 81740 301 301 0 98516 0
vsize: 395268
[startup+489.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 143555 0 0 0 48707 305 0 0 25 0 1 0 972341186 404754432 81759 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98817 81759 301 301 0 98516 0
vsize: 395268
[startup+499.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 143555 0 0 0 49707 305 0 0 25 0 1 0 972341186 404754432 81759 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98817 81759 301 301 0 98516 0
vsize: 395268
[startup+509.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 143555 0 0 0 50707 305 0 0 25 0 1 0 972341186 404754432 81759 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98817 81759 301 301 0 98516 0
vsize: 395268
[startup+519.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23651
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 143555 0 0 0 51708 305 0 0 25 0 1 0 972341186 404754432 81759 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98817 81759 301 301 0 98516 0
vsize: 395268
[startup+529.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23704
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 143557 0 0 0 52708 305 0 0 25 0 1 0 972341186 404754432 81761 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98817 81761 301 301 0 98516 0
vsize: 395268
[startup+539.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23704
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 143561 0 0 0 53708 305 0 0 25 0 1 0 972341186 404754432 81765 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98817 81765 301 301 0 98516 0
vsize: 395268
[startup+549.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23704
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 143572 0 0 0 54708 306 0 0 25 0 1 0 972341186 404754432 81776 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98817 81776 301 301 0 98516 0
vsize: 395268
[startup+559.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23704
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 145443 0 0 0 55703 311 0 0 25 0 1 0 972341186 404885504 81839 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98849 81839 301 301 0 98548 0
vsize: 395396
[startup+569.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23704
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 145797 0 0 0 56702 312 0 0 25 0 1 0 972341186 405671936 81997 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99041 81997 301 301 0 98740 0
vsize: 396164
[startup+579.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23704
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 146299 0 0 0 57701 313 0 0 25 0 1 0 972341186 406720512 82240 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99297 82240 301 301 0 98996 0
vsize: 397188
[startup+589.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 147363 0 0 0 58699 316 0 0 25 0 1 0 972341186 409739264 82625 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100034 82625 301 301 0 99733 0
vsize: 400136
[startup+599.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 147375 0 0 0 59699 317 0 0 25 0 1 0 972341186 409739264 82637 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100034 82637 301 301 0 99733 0
vsize: 400136
[startup+609.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 147526 0 0 0 60698 317 0 0 25 0 1 0 972341186 410001408 82723 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100098 82723 301 301 0 99797 0
vsize: 400392
[startup+619.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 147692 0 0 0 61698 318 0 0 25 0 1 0 972341186 410525696 82760 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100226 82760 301 301 0 99925 0
vsize: 400904
[startup+629.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 147707 0 0 0 62698 318 0 0 25 0 1 0 972341186 410525696 82775 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100226 82775 301 301 0 99925 0
vsize: 400904
[startup+640.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 147709 0 0 0 63698 319 0 0 25 0 1 0 972341186 410525696 82777 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100226 82777 301 301 0 99925 0
vsize: 400904
[startup+650.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 149637 0 0 0 64694 324 0 0 25 0 1 0 972341186 411189248 82897 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100388 82897 301 301 0 100087 0
vsize: 401552
[startup+660.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 149730 0 0 0 65693 325 0 0 25 0 1 0 972341186 411320320 82957 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100420 82957 301 301 0 100119 0
vsize: 401680
[startup+670.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 150194 0 0 0 66693 325 0 0 25 0 1 0 972341186 412504064 83193 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100709 83193 301 301 0 100408 0
vsize: 402836
[startup+680.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 150674 0 0 0 67693 327 0 0 25 0 1 0 972341186 413986816 83414 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101071 83414 301 301 0 100770 0
vsize: 404284
[startup+690.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 150780 0 0 0 68692 328 0 0 25 0 1 0 972341186 414248960 83455 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101135 83455 301 301 0 100834 0
vsize: 404540
[startup+700.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 150955 0 0 0 69692 328 0 0 25 0 1 0 972341186 414773248 83501 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101263 83501 301 301 0 100962 0
vsize: 405052
[startup+710.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 151532 0 0 0 70691 330 0 0 25 0 1 0 972341186 416346112 83692 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101647 83692 301 301 0 101346 0
vsize: 406588
[startup+720.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 151771 0 0 0 71690 331 0 0 25 0 1 0 972341186 416870400 83802 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101775 83802 301 301 0 101474 0
vsize: 407100
[startup+730.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 151985 0 0 0 72690 332 0 0 25 0 1 0 972341186 417394688 83887 4294967295 134512640 135730672 3221224576 3221223264 134748420 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101903 83887 301 301 0 101602 0
vsize: 407612
[startup+740.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 151986 0 0 0 73690 332 0 0 25 0 1 0 972341186 417394688 83888 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101903 83888 301 301 0 101602 0
vsize: 407612
[startup+750.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 151991 0 0 0 74690 332 0 0 25 0 1 0 972341186 417394688 83893 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101903 83893 301 301 0 101602 0
vsize: 407612
[startup+760.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 152183 0 0 0 75689 333 0 0 25 0 1 0 972341186 417656832 84020 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101967 84020 301 301 0 101666 0
vsize: 407868
[startup+770.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 152331 0 0 0 76689 333 0 0 25 0 1 0 972341186 418050048 84070 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102063 84070 301 301 0 101762 0
vsize: 408252
[startup+780.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 152631 0 0 0 77689 334 0 0 25 0 1 0 972341186 418975744 84272 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102289 84272 301 301 0 101988 0
vsize: 409156
[startup+790.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 154419 0 0 0 78684 339 0 0 25 0 1 0 972341186 426246144 86060 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104064 86060 301 301 0 103763 0
vsize: 416256
[startup+800.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 154420 0 0 0 79684 340 0 0 25 0 1 0 972341186 418975744 84286 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102289 84286 301 301 0 101988 0
vsize: 409156
[startup+810.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 154514 0 0 0 80684 340 0 0 25 0 1 0 972341186 419237888 84315 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102353 84315 301 301 0 102052 0
vsize: 409412
[startup+820.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 154525 0 0 0 81683 342 0 0 25 0 1 0 972341186 419237888 84326 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102353 84326 301 301 0 102052 0
vsize: 409412
[startup+830.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23706
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 154526 0 0 0 82683 342 0 0 25 0 1 0 972341186 419237888 84327 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102353 84327 301 301 0 102052 0
vsize: 409412
[startup+840.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 154606 0 0 0 83682 343 0 0 25 0 1 0 972341186 419500032 84342 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102417 84342 301 301 0 102116 0
vsize: 409668
[startup+850.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 154608 0 0 0 84683 343 0 0 25 0 1 0 972341186 419500032 84344 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102417 84344 301 301 0 102116 0
vsize: 409668
[startup+860.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 154825 0 0 0 85682 344 0 0 25 0 1 0 972341186 420024320 84432 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102545 84432 301 301 0 102244 0
vsize: 410180
[startup+870.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 155208 0 0 0 86682 344 0 0 25 0 1 0 972341186 421072896 84555 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102801 84555 301 301 0 102500 0
vsize: 411204
[startup+880.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 155210 0 0 0 87682 345 0 0 25 0 1 0 972341186 421072896 84557 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102801 84557 301 301 0 102500 0
vsize: 411204
[startup+890.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 155226 0 0 0 88681 346 0 0 25 0 1 0 972341186 421072896 84573 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102801 84573 301 301 0 102500 0
vsize: 411204
[startup+900.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 155226 0 0 0 89681 346 0 0 25 0 1 0 972341186 421072896 84573 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102801 84573 301 301 0 102500 0
vsize: 411204
[startup+910.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 155228 0 0 0 90681 346 0 0 25 0 1 0 972341186 421072896 84575 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102801 84575 301 301 0 102500 0
vsize: 411204
[startup+920.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 157008 0 0 0 91677 351 0 0 25 0 1 0 972341186 421072896 84580 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102801 84580 301 301 0 102500 0
vsize: 411204
[startup+930.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 157008 0 0 0 92677 352 0 0 25 0 1 0 972341186 421072896 84580 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102801 84580 301 301 0 102500 0
vsize: 411204
[startup+940.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 157008 0 0 0 93677 352 0 0 25 0 1 0 972341186 421072896 84580 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102801 84580 301 301 0 102500 0
vsize: 411204
[startup+950.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 157009 0 0 0 94677 352 0 0 25 0 1 0 972341186 421072896 84581 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102801 84581 301 301 0 102500 0
vsize: 411204
[startup+960.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 157071 0 0 0 95676 353 0 0 25 0 1 0 972341186 421072896 84643 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102801 84643 301 301 0 102500 0
vsize: 411204
[startup+970.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 157253 0 0 0 96676 353 0 0 25 0 1 0 972341186 421597184 84696 4294967295 134512640 135730672 3221224576 3221223072 134747486 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102929 84696 301 301 0 102628 0
vsize: 411716
[startup+980.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 157285 0 0 0 97676 354 0 0 25 0 1 0 972341186 421597184 84728 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102929 84728 301 301 0 102628 0
vsize: 411716
[startup+990.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 157285 0 0 0 98676 354 0 0 25 0 1 0 972341186 421597184 84728 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102929 84728 301 301 0 102628 0
vsize: 411716
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 157285 0 0 0 99676 355 0 0 25 0 1 0 972341186 421597184 84728 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102929 84728 301 301 0 102628 0
vsize: 411716
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 157286 0 0 0 100676 355 0 0 25 0 1 0 972341186 421597184 84729 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102929 84729 301 301 0 102628 0
vsize: 411716
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 157331 0 0 0 101677 355 0 0 25 0 1 0 972341186 421597184 84774 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102929 84774 301 301 0 102628 0
vsize: 411716
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 157365 0 0 0 102677 355 0 0 25 0 1 0 972341186 421597184 84808 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102929 84808 301 301 0 102628 0
vsize: 411716
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 157365 0 0 0 103677 356 0 0 25 0 1 0 972341186 421597184 84808 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102929 84808 301 301 0 102628 0
vsize: 411716
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 157366 0 0 0 104677 356 0 0 25 0 1 0 972341186 421597184 84809 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102929 84809 301 301 0 102628 0
vsize: 411716
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 157366 0 0 0 105677 356 0 0 25 0 1 0 972341186 421597184 84809 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102929 84809 301 301 0 102628 0
vsize: 411716
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 157380 0 0 0 106677 356 0 0 25 0 1 0 972341186 421597184 84823 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102929 84823 301 301 0 102628 0
vsize: 411716
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 159200 0 0 0 107674 360 0 0 25 0 1 0 972341186 421863424 84868 4294967295 134512640 135730672 3221224576 3221223264 134748452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102994 84868 301 301 0 102693 0
vsize: 411976
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 159626 0 0 0 108672 361 0 0 25 0 1 0 972341186 422916096 85099 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103251 85099 301 301 0 102950 0
vsize: 413004
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 160082 0 0 0 109671 362 0 0 25 0 1 0 972341186 423964672 85296 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103507 85296 301 301 0 103206 0
vsize: 414028
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 160431 0 0 0 110671 363 0 0 25 0 1 0 972341186 425013248 85387 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103763 85387 301 301 0 103462 0
vsize: 415052
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 160591 0 0 0 111671 363 0 0 25 0 1 0 972341186 425537536 85418 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103891 85418 301 301 0 103590 0
vsize: 415564
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 160788 0 0 0 112671 364 0 0 25 0 1 0 972341186 426061824 85486 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104019 85486 301 301 0 103718 0
vsize: 416076
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 161112 0 0 0 113670 365 0 0 25 0 1 0 972341186 427110400 85552 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104275 85552 301 301 0 103974 0
vsize: 417100
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 161141 0 0 0 114670 365 0 0 25 0 1 0 972341186 427110400 85581 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104275 85581 301 301 0 103974 0
vsize: 417100
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 161141 0 0 0 115670 366 0 0 25 0 1 0 972341186 427110400 85581 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104275 85581 301 301 0 103974 0
vsize: 417100
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 161147 0 0 0 116670 366 0 0 25 0 1 0 972341186 427110400 85587 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104275 85587 301 301 0 103974 0
vsize: 417100
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 161149 0 0 0 117671 366 0 0 25 0 1 0 972341186 427110400 85589 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104275 85589 301 301 0 103974 0
vsize: 417100
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 161190 0 0 0 118671 366 0 0 25 0 1 0 972341186 427110400 85630 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104275 85630 301 301 0 103974 0
vsize: 417100
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 161191 0 0 0 119671 366 0 0 25 0 1 0 972341186 427110400 85631 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104275 85631 301 301 0 103974 0
vsize: 417100
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.1 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 23708
Raw data (stat): 23651 (pb2sat-v2) R 23650 25568 25567 0 -1 0 161191 0 0 0 119671 366 0 0 25 0 1 0 972341186 427110400 85631 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104275 85631 301 301 0 103974 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.1
CPU time (s): 1202.46
CPU user time (s): 1198.62
CPU system time (s): 3.83442
CPU usage (%): 100.03
Max. virtual memory (Kb): 417100
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####