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-danoint.opb
MD5SUM	32dd768e34cdc0e1cb04afadbe97060d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	13107200
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	52829966
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.36179
Number of variables	9304
Total number of constraints	728
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	72
Number of constraints which are nor clauses,nor cardinality constraints	656
Minimum length of a constraint	1
Maximum length of a constraint	1000
Trace number 42837

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 16:03:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26047 boxname=wulflinc1 idbench=1347 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  32dd768e34cdc0e1cb04afadbe97060d  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-danoint.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-danoint.opb
IDLAUNCH: 26047
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        703200 kB
Buffers:         24800 kB
Cached:         282084 kB
SwapCached:       1156 kB
Active:          27160 kB
Inactive:       282040 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        702948 kB
SwapTotal:     2097136 kB
SwapFree:      2094896 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16440 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 16:23:46 (client local time) WITH STATUS 0 IN 1202.3 SECONDS
stats: 26047 7 1202.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s 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.91 0.95 0.91 2/55 22841
Raw data (stat): 22841 (runsolver) R 22840 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 915199403 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 22841
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 28303 0 0 0 933 65 0 0 25 0 1 0 915199403 78479360 17238 4294967295 134512640 135730672 3221224576 3221195400 134549353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19160 17238 301 301 0 18859 0
vsize: 76640
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 22841
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 56169 0 0 0 1870 128 0 0 25 0 1 0 915199403 156463104 33861 4294967295 134512640 135730672 3221224576 3220989448 134549409 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38199 33861 301 301 0 37898 0
vsize: 152796
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 22841
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 94098 0 0 0 2796 203 0 0 25 0 1 0 915199403 305610752 50113 4294967295 134512640 135730672 3221224576 3221061680 134546364 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74612 50113 301 301 0 74311 0
vsize: 298448
[startup+40.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 22841
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 109760 0 0 0 3760 237 0 0 25 0 1 0 915199403 307638272 65507 4294967295 134512640 135730672 3221224576 3221221872 134572387 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75107 65507 301 301 0 74806 0
vsize: 300428
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 22841
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 154789 0 0 0 4672 326 0 0 25 0 1 0 915199403 637857792 90937 4294967295 134512640 135730672 3221224576 3221001952 134788521 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155727 90941 301 301 0 155426 0
vsize: 622908
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 22841
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 186139 0 0 0 5600 398 0 0 25 0 1 0 915199403 570744832 97509 4294967295 134512640 135730672 3221224576 3221221552 134540018 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139342 97509 301 301 0 139041 0
vsize: 557368
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 22841
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 202518 0 0 0 6560 438 0 0 25 0 1 0 915199403 570744832 113594 4294967295 134512640 135730672 3221224576 3221154048 134770759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139342 113595 301 301 0 139041 0
vsize: 557368
[startup+80.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 22841
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 211070 0 0 0 7540 458 0 0 25 0 1 0 915199403 584806400 118936 4294967295 134512640 135730672 3221224576 3221223116 135301630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142775 118944 301 301 0 142474 0
vsize: 571100
[startup+90.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 22841
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 216337 0 0 0 8531 467 0 0 25 0 1 0 915199403 600395776 122193 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146581 122193 301 301 0 146280 0
vsize: 586324
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 22841
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 220367 0 0 0 9524 474 0 0 25 0 1 0 915199403 611979264 124347 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149409 124347 301 301 0 149108 0
vsize: 597636
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 223950 0 0 0 10519 479 0 0 25 0 1 0 915199403 621973504 125964 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151849 125964 301 301 0 151548 0
vsize: 607396
[startup+120.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 226131 0 0 0 11514 484 0 0 25 0 1 0 915199403 627986432 126839 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153317 126839 301 301 0 153016 0
vsize: 613268
[startup+130.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 229424 0 0 0 12507 491 0 0 25 0 1 0 915199403 636710912 128560 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155447 128560 301 301 0 155146 0
vsize: 621788
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 231675 0 0 0 13503 496 0 0 25 0 1 0 915199403 643194880 129691 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157030 129691 301 301 0 156729 0
vsize: 628120
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 234526 0 0 0 14497 502 0 0 25 0 1 0 915199403 650711040 131164 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158865 131164 301 301 0 158564 0
vsize: 635460
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 235850 0 0 0 15495 504 0 0 25 0 1 0 915199403 654008320 131903 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159670 131903 301 301 0 159369 0
vsize: 638680
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 237545 0 0 0 16492 507 0 0 25 0 1 0 915199403 658833408 132781 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160848 132781 301 301 0 160547 0
vsize: 643392
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 238490 0 0 0 17490 509 0 0 25 0 1 0 915199403 661454848 133083 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161488 133083 301 301 0 161187 0
vsize: 645952
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 238843 0 0 0 18490 510 0 0 25 0 1 0 915199403 662241280 133242 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161680 133242 301 301 0 161379 0
vsize: 646720
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 240509 0 0 0 19486 514 0 0 25 0 1 0 915199403 666718208 134000 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162773 134000 301 301 0 162472 0
vsize: 651092
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 242009 0 0 0 20484 516 0 0 25 0 1 0 915199403 671404032 134754 4294967295 134512640 135730672 3221224576 3221223200 134748204 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163917 134754 301 301 0 163616 0
vsize: 655668
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 242603 0 0 0 21483 517 0 0 25 0 1 0 915199403 673112064 134962 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164334 134962 301 301 0 164033 0
vsize: 657336
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 243503 0 0 0 22481 519 0 0 25 0 1 0 915199403 675356672 135440 4294967295 134512640 135730672 3221224576 3221223196 134748215 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164882 135440 301 301 0 164581 0
vsize: 659528
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 244154 0 0 0 23480 521 0 0 25 0 1 0 915199403 677195776 135703 4294967295 134512640 135730672 3221224576 3221223072 134747720 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165331 135703 301 301 0 165030 0
vsize: 661324
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 244407 0 0 0 24480 521 0 0 25 0 1 0 915199403 677720064 135827 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165459 135827 301 301 0 165158 0
vsize: 661836
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 244835 0 0 0 25479 522 0 0 25 0 1 0 915199403 678772736 136061 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165716 136061 301 301 0 165415 0
vsize: 662864
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 245486 0 0 0 26478 523 0 0 25 0 1 0 915199403 680349696 136389 4294967295 134512640 135730672 3221224576 3221223072 134747788 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166101 136389 301 301 0 165800 0
vsize: 664404
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 247004 0 0 0 27476 526 0 0 25 0 1 0 915199403 684294144 137129 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167064 137129 301 301 0 166763 0
vsize: 668256
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 248152 0 0 0 28474 527 0 0 25 0 1 0 915199403 687316992 137662 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167802 137662 301 301 0 167501 0
vsize: 671208
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 249456 0 0 0 29472 530 0 0 25 0 1 0 915199403 690462720 138194 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168570 138194 301 301 0 168269 0
vsize: 674280
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 250687 0 0 0 30470 532 0 0 25 0 1 0 915199403 693084160 138776 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169210 138776 301 301 0 168909 0
vsize: 676840
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 251570 0 0 0 31468 534 0 0 25 0 1 0 915199403 695713792 139143 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169852 139143 301 301 0 169551 0
vsize: 679408
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 253852 0 0 0 32464 538 0 0 25 0 1 0 915199403 702812160 140265 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171585 140265 301 301 0 171284 0
vsize: 686340
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 255269 0 0 0 33462 541 0 0 25 0 1 0 915199403 707289088 141100 4294967295 134512640 135730672 3221224576 3221223072 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172678 141100 301 301 0 172377 0
vsize: 690712
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 256857 0 0 0 34459 543 0 0 25 0 1 0 915199403 712413184 141816 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 173929 141816 301 301 0 173628 0
vsize: 695716
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 257820 0 0 0 35458 545 0 0 25 0 1 0 915199403 714772480 142199 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174505 142199 301 301 0 174204 0
vsize: 698020
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 258091 0 0 0 36457 546 0 0 25 0 1 0 915199403 715829248 142405 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174763 142405 301 301 0 174462 0
vsize: 699052
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 259276 0 0 0 37454 549 0 0 25 0 1 0 915199403 719372288 142911 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175628 142911 301 301 0 175327 0
vsize: 702512
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 259927 0 0 0 38453 550 0 0 25 0 1 0 915199403 721473536 143176 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176141 143176 301 301 0 175840 0
vsize: 704564
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 260299 0 0 0 39452 551 0 0 25 0 1 0 915199403 722259968 143354 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176333 143354 301 301 0 176032 0
vsize: 705332
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 260300 0 0 0 40452 551 0 0 25 0 1 0 915199403 722259968 143355 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176333 143355 301 301 0 176032 0
vsize: 705332
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 260332 0 0 0 41452 552 0 0 25 0 1 0 915199403 722259968 143387 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176333 143387 301 301 0 176032 0
vsize: 705332
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 260838 0 0 0 42451 553 0 0 25 0 1 0 915199403 723574784 143634 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176654 143634 301 301 0 176353 0
vsize: 706616
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 262271 0 0 0 43449 555 0 0 25 0 1 0 915199403 727642112 144131 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 177647 144131 301 301 0 177346 0
vsize: 710588
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 262669 0 0 0 44449 556 0 0 25 0 1 0 915199403 728428544 144335 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 177839 144335 301 301 0 177538 0
vsize: 711356
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 263063 0 0 0 45448 557 0 0 25 0 1 0 915199403 729477120 144471 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178095 144471 301 301 0 177794 0
vsize: 712380
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 263405 0 0 0 46447 557 0 0 25 0 1 0 915199403 730398720 144619 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178320 144619 301 301 0 178019 0
vsize: 713280
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 264086 0 0 0 47446 559 0 0 25 0 1 0 915199403 732233728 144848 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178768 144848 301 301 0 178467 0
vsize: 715072
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 265558 0 0 0 48443 562 0 0 25 0 1 0 915199403 736186368 145507 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 179733 145507 301 301 0 179432 0
vsize: 718932
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 265733 0 0 0 49443 562 0 0 25 0 1 0 915199403 736448512 145617 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 179797 145617 301 301 0 179496 0
vsize: 719188
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 266278 0 0 0 50442 563 0 0 25 0 1 0 915199403 737890304 145806 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180149 145806 301 301 0 179848 0
vsize: 720596
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 266301 0 0 0 51442 564 0 0 25 0 1 0 915199403 737890304 145829 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180149 145829 301 301 0 179848 0
vsize: 720596
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 266736 0 0 0 52441 565 0 0 25 0 1 0 915199403 738942976 146037 4294967295 134512640 135730672 3221224576 3221223248 134748617 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180406 146037 301 301 0 180105 0
vsize: 721624
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 266775 0 0 0 53441 565 0 0 25 0 1 0 915199403 738942976 146076 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180406 146076 301 301 0 180105 0
vsize: 721624
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 266930 0 0 0 54441 566 0 0 25 0 1 0 915199403 739467264 146102 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180534 146102 301 301 0 180233 0
vsize: 722136
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 267270 0 0 0 55440 567 0 0 25 0 1 0 915199403 739991552 146313 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180662 146313 301 301 0 180361 0
vsize: 722648
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 267557 0 0 0 56440 567 0 0 25 0 1 0 915199403 740515840 146471 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180790 146471 301 301 0 180489 0
vsize: 723160
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 268051 0 0 0 57438 568 0 0 25 0 1 0 915199403 742088704 146579 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 181174 146579 301 301 0 180873 0
vsize: 724696
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 268074 0 0 0 58438 568 0 0 25 0 1 0 915199403 742088704 146602 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 181174 146602 301 301 0 180873 0
vsize: 724696
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 268305 0 0 0 59438 569 0 0 25 0 1 0 915199403 742612992 146704 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 181302 146704 301 301 0 181001 0
vsize: 725208
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 268538 0 0 0 60437 570 0 0 25 0 1 0 915199403 743137280 146808 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 181430 146808 301 301 0 181129 0
vsize: 725720
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 268940 0 0 0 61436 571 0 0 25 0 1 0 915199403 744185856 146953 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 181686 146953 301 301 0 181385 0
vsize: 726744
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 270027 0 0 0 62434 574 0 0 25 0 1 0 915199403 747081728 147490 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182393 147490 301 301 0 182092 0
vsize: 729572
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 270531 0 0 0 63432 575 0 0 25 0 1 0 915199403 749207552 147929 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182912 147929 301 301 0 182611 0
vsize: 731648
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 270535 0 0 0 64432 576 0 0 25 0 1 0 915199403 749207552 147933 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182912 147933 301 301 0 182611 0
vsize: 731648
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 270535 0 0 0 65433 576 0 0 25 0 1 0 915199403 749207552 147933 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182912 147933 301 301 0 182611 0
vsize: 731648
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 270785 0 0 0 66432 576 0 0 25 0 1 0 915199403 749731840 148054 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183040 148054 301 301 0 182739 0
vsize: 732160
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 271041 0 0 0 67432 577 0 0 25 0 1 0 915199403 750256128 148181 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183168 148181 301 301 0 182867 0
vsize: 732672
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 271042 0 0 0 68432 577 0 0 25 0 1 0 915199403 750256128 148182 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183168 148182 301 301 0 182867 0
vsize: 732672
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 271357 0 0 0 69432 577 0 0 25 0 1 0 915199403 751312896 148367 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183426 148367 301 301 0 183125 0
vsize: 733704
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 271867 0 0 0 70430 579 0 0 25 0 1 0 915199403 752361472 148620 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183682 148620 301 301 0 183381 0
vsize: 734728
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 271881 0 0 0 71430 579 0 0 25 0 1 0 915199403 752361472 148634 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183682 148634 301 301 0 183381 0
vsize: 734728
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272229 0 0 0 72430 580 0 0 25 0 1 0 915199403 753410048 148725 4294967295 134512640 135730672 3221224576 3221223196 135284036 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183938 148725 301 301 0 183637 0
vsize: 735752
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272272 0 0 0 73429 580 0 0 25 0 1 0 915199403 753410048 148768 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183938 148768 301 301 0 183637 0
vsize: 735752
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272273 0 0 0 74429 580 0 0 25 0 1 0 915199403 753410048 148769 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183938 148769 301 301 0 183637 0
vsize: 735752
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272653 0 0 0 75429 581 0 0 25 0 1 0 915199403 754458624 148892 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184194 148892 301 301 0 183893 0
vsize: 736776
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272654 0 0 0 76429 581 0 0 25 0 1 0 915199403 754458624 148893 4294967295 134512640 135730672 3221224576 3221223200 134748132 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184194 148893 301 301 0 183893 0
vsize: 736776
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272666 0 0 0 77429 581 0 0 25 0 1 0 915199403 754458624 148905 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184194 148905 301 301 0 183893 0
vsize: 736776
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272725 0 0 0 78429 581 0 0 25 0 1 0 915199403 754458624 148964 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184194 148964 301 301 0 183893 0
vsize: 736776
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272949 0 0 0 79429 582 0 0 25 0 1 0 915199403 754982912 149059 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184322 149059 301 301 0 184021 0
vsize: 737288
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272974 0 0 0 80429 582 0 0 25 0 1 0 915199403 754982912 149084 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184322 149084 301 301 0 184021 0
vsize: 737288
[startup+820.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273079 0 0 0 81429 582 0 0 25 0 1 0 915199403 754982912 149189 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184322 149189 301 301 0 184021 0
vsize: 737288
[startup+830.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273124 0 0 0 82429 582 0 0 25 0 1 0 915199403 754982912 149234 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184322 149234 301 301 0 184021 0
vsize: 737288
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273161 0 0 0 83429 582 0 0 25 0 1 0 915199403 754982912 149271 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184322 149271 301 301 0 184021 0
vsize: 737288
[startup+850.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273477 0 0 0 84428 584 0 0 25 0 1 0 915199403 756031488 149330 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184578 149330 301 301 0 184277 0
vsize: 738312
[startup+860.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273479 0 0 0 85428 584 0 0 25 0 1 0 915199403 756031488 149332 4294967295 134512640 135730672 3221224576 3221223264 134748570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184578 149332 301 301 0 184277 0
vsize: 738312
[startup+870.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273496 0 0 0 86428 584 0 0 25 0 1 0 915199403 756031488 149349 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184578 149349 301 301 0 184277 0
vsize: 738312
[startup+880.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273922 0 0 0 87427 585 0 0 25 0 1 0 915199403 757084160 149581 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184835 149581 301 301 0 184534 0
vsize: 739340
[startup+890.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273947 0 0 0 88427 585 0 0 25 0 1 0 915199403 757084160 149606 4294967295 134512640 135730672 3221224576 3221223168 134763606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184835 149606 301 301 0 184534 0
vsize: 739340
[startup+900.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273971 0 0 0 89427 585 0 0 25 0 1 0 915199403 757084160 149630 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184835 149630 301 301 0 184534 0
vsize: 739340
[startup+910.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 274356 0 0 0 90427 586 0 0 25 0 1 0 915199403 758136832 149821 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185092 149821 301 301 0 184791 0
vsize: 740368
[startup+920.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 274439 0 0 0 91427 586 0 0 25 0 1 0 915199403 758136832 149904 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185092 149904 301 301 0 184791 0
vsize: 740368
[startup+930.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 274442 0 0 0 92427 586 0 0 25 0 1 0 915199403 758136832 149907 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185092 149907 301 301 0 184791 0
vsize: 740368
[startup+940.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 275510 0 0 0 93424 589 0 0 25 0 1 0 915199403 760758272 150331 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185732 150331 301 301 0 185431 0
vsize: 742928
[startup+950.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 275511 0 0 0 94424 589 0 0 25 0 1 0 915199403 760758272 150332 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185732 150332 301 301 0 185431 0
vsize: 742928
[startup+960.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 275513 0 0 0 95424 589 0 0 25 0 1 0 915199403 760758272 150334 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185732 150334 301 301 0 185431 0
vsize: 742928
[startup+970.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 275516 0 0 0 96424 589 0 0 25 0 1 0 915199403 760758272 150337 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185732 150337 301 301 0 185431 0
vsize: 742928
[startup+980.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 275518 0 0 0 97425 589 0 0 25 0 1 0 915199403 760758272 150339 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185732 150339 301 301 0 185431 0
vsize: 742928
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 275592 0 0 0 98425 589 0 0 25 0 1 0 915199403 760758272 150413 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185732 150413 301 301 0 185431 0
vsize: 742928
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 275940 0 0 0 99424 590 0 0 25 0 1 0 915199403 761806848 150504 4294967295 134512640 135730672 3221224576 3221223072 134747452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185988 150504 301 301 0 185687 0
vsize: 743952
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 275985 0 0 0 100424 590 0 0 25 0 1 0 915199403 761806848 150549 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185988 150549 301 301 0 185687 0
vsize: 743952
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 276330 0 0 0 101423 591 0 0 25 0 1 0 915199403 762855424 150637 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 186244 150637 301 301 0 185943 0
vsize: 744976
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 276504 0 0 0 102423 591 0 0 25 0 1 0 915199403 763379712 150682 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 186372 150682 301 301 0 186071 0
vsize: 745488
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 276505 0 0 0 103423 591 0 0 25 0 1 0 915199403 763379712 150683 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 186372 150683 301 301 0 186071 0
vsize: 745488
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 276605 0 0 0 104423 592 0 0 25 0 1 0 915199403 763379712 150783 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 186372 150783 301 301 0 186071 0
vsize: 745488
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 277029 0 0 0 105423 592 0 0 25 0 1 0 915199403 764428288 150950 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 186628 150950 301 301 0 186327 0
vsize: 746512
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 277031 0 0 0 106423 592 0 0 25 0 1 0 915199403 764428288 150952 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 186628 150952 301 301 0 186327 0
vsize: 746512
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278038 0 0 0 107421 594 0 0 25 0 1 0 915199403 767057920 151443 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187270 151443 301 301 0 186969 0
vsize: 749080
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278195 0 0 0 108421 595 0 0 25 0 1 0 915199403 767582208 151471 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187398 151471 301 301 0 187097 0
vsize: 749592
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278261 0 0 0 109421 595 0 0 25 0 1 0 915199403 767582208 151537 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187398 151537 301 301 0 187097 0
vsize: 749592
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278304 0 0 0 110421 595 0 0 25 0 1 0 915199403 767582208 151580 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187398 151580 301 301 0 187097 0
vsize: 749592
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278305 0 0 0 111421 595 0 0 25 0 1 0 915199403 767582208 151581 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187398 151581 301 301 0 187097 0
vsize: 749592
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278307 0 0 0 112421 595 0 0 25 0 1 0 915199403 767582208 151583 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187398 151583 301 301 0 187097 0
vsize: 749592
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278661 0 0 0 113420 596 0 0 25 0 1 0 915199403 768630784 151680 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187654 151680 301 301 0 187353 0
vsize: 750616
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278662 0 0 0 114420 596 0 0 25 0 1 0 915199403 768630784 151681 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187654 151681 301 301 0 187353 0
vsize: 750616
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278734 0 0 0 115420 596 0 0 25 0 1 0 915199403 768630784 151753 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187654 151753 301 301 0 187353 0
vsize: 750616
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 279334 0 0 0 116419 598 0 0 25 0 1 0 915199403 770203648 151967 4294967295 134512640 135730672 3221224576 3221223264 134748565 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188038 151967 301 301 0 187737 0
vsize: 752152
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 279337 0 0 0 117419 598 0 0 25 0 1 0 915199403 770203648 151970 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188038 151970 301 301 0 187737 0
vsize: 752152
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 279363 0 0 0 118419 598 0 0 25 0 1 0 915199403 770203648 151996 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188038 151996 301 301 0 187737 0
vsize: 752152
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 279828 0 0 0 119418 599 0 0 25 0 1 0 915199403 771252224 152204 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188294 152204 301 301 0 187993 0
vsize: 753176
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.14 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 22843
Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 279828 0 0 0 119418 599 0 0 25 0 1 0 915199403 771252224 152204 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188294 152204 301 301 0 187993 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.14
CPU time (s): 1202.3
CPU user time (s): 1196.01
CPU system time (s): 6.29604
CPU usage (%): 100.014
Max. virtual memory (Kb): 753176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####