PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fixnet6.opb
MD5SUM	1eea2f19d665ab2eda88d95b10eac4ce
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	48386177
Optimality of the best value was proved	NO
Number of terms in the objective function	11714
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	513431911800
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	1073741824
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	513431911800
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1260.76
Number of variables	14036
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1523
Trace number 42520

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 09:33:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25728 boxname=wulflinc6 idbench=1028 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1eea2f19d665ab2eda88d95b10eac4ce  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-fixnet6.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-fixnet6.opb
IDLAUNCH: 25728
/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:        692336 kB
Buffers:         33656 kB
Cached:         285868 kB
SwapCached:       1028 kB
Active:          46044 kB
Inactive:       275648 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        692084 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14992 kB
Committed_AS:    63848 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 09:53:25 (client local time) WITH STATUS 0 IN 1202.44 SECONDS
stats: 25728 7 1202.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 604203/1600883	Time: 348.281/86400
c Decision: 604205/1600883	Time: 398.122/86400
c Decision: 604208/1600883	Time: 503.509/86400
c Decision: 604208/1600883	Time: 573.609/86400
c Decision: 604216/1600883	Time: 659.039/86400
c Decision: 604216/1600883	Time: 714.455/86400
c Decision: 604233/1600883	Time: 775.537/86400
c Decision: 604236/1600883	Time: 823.872/86400
c Decision: 604241/1600883	Time: 886.11/86400
c Decision: 604241/1600883	Time: 917.197/86400
c Decision: 604241/1600883	Time: 959.967/86400
c Decision: 604241/1600883	Time: 993.892/86400
c Decision: 604241/1600883	Time: 1026.05/86400
c Decision: 604241/1600883	Time: 1053.99/86400
c Decision: 604241/1600883	Time: 1077.08/86400
c Decision: 604245/1600883	Time: 1113.86/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.90 0.92 0.90 2/54 17780
Raw data (stat): 17780 (runsolver) R 17779 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969713193 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.0008 s]
Raw data (loadavg): 0.92 0.92 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 23543 0 0 0 944 55 0 0 25 0 1 0 969713193 70508544 12624 4294967295 134512640 135730672 3221224576 3220888704 134608735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17214 12624 301 301 0 16913 0
vsize: 68856
[startup+20.0019 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 50599 0 0 0 1884 116 0 0 25 0 1 0 969713193 156643328 28712 4294967295 134512640 135730672 3221224576 3221150752 134770386 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38243 28712 301 301 0 37942 0
vsize: 152972
[startup+30.0031 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 88996 0 0 0 2804 195 0 0 25 0 1 0 969713193 269930496 45418 4294967295 134512640 135730672 3221224576 3220934632 135284287 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65901 45418 301 301 0 65600 0
vsize: 263604
[startup+40.0032 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 102934 0 0 0 3766 234 0 0 25 0 1 0 969713193 303579136 59105 4294967295 134512640 135730672 3221224576 3220755404 134607999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74116 59105 301 301 0 73815 0
vsize: 296464
[startup+50.0043 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 134453 0 0 0 4701 299 0 0 25 0 1 0 969713193 484306944 89842 4294967295 134512640 135730672 3221224576 3220958732 135301640 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118239 89842 301 301 0 117938 0
vsize: 472956
[startup+60.0045 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 182379 0 0 0 5599 401 0 0 25 0 1 0 969713193 544088064 95171 4294967295 134512640 135730672 3221224576 3221118680 135284605 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132834 95171 301 301 0 132533 0
vsize: 531336
[startup+70.0057 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 195082 0 0 0 6569 432 0 0 25 0 1 0 969713193 577642496 107649 4294967295 134512640 135730672 3221224576 3220813384 135284328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141026 107649 301 301 0 140725 0
vsize: 564104
[startup+80.0068 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 210071 0 0 0 7533 467 0 0 25 0 1 0 969713193 603258880 122478 4294967295 134512640 135730672 3221224576 3221222872 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147280 122478 301 301 0 146979 0
vsize: 589120
[startup+90.0075 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 211135 0 0 0 8530 471 0 0 25 0 1 0 969713193 595550208 120410 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145398 120410 301 301 0 145097 0
vsize: 581592
[startup+100.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 212935 0 0 0 9525 476 0 0 25 0 1 0 969713193 603901952 122177 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147437 122177 301 301 0 147136 0
vsize: 589748
[startup+110.009 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 213665 0 0 0 10523 478 0 0 25 0 1 0 969713193 607707136 122907 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148366 122907 301 301 0 148065 0
vsize: 593464
[startup+120.01 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 214379 0 0 0 11522 480 0 0 25 0 1 0 969713193 610627584 123440 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149079 123440 301 301 0 148778 0
vsize: 596316
[startup+130.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 214805 0 0 0 12520 482 0 0 25 0 1 0 969713193 612970496 123866 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149651 123866 301 301 0 149350 0
vsize: 598604
[startup+140.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 216344 0 0 0 13517 485 0 0 25 0 1 0 969713193 619606016 125109 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151271 125109 301 301 0 150970 0
vsize: 605084
[startup+150.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 217094 0 0 0 14515 487 0 0 25 0 1 0 969713193 623251456 125810 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152161 125810 301 301 0 151860 0
vsize: 608644
[startup+160.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 217667 0 0 0 15514 489 0 0 25 0 1 0 969713193 625979392 126317 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152827 126317 301 301 0 152526 0
vsize: 611308
[startup+170.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 217994 0 0 0 16513 490 0 0 25 0 1 0 969713193 626974720 126529 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153070 126529 301 301 0 152769 0
vsize: 612280
[startup+180.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 218340 0 0 0 17512 491 0 0 25 0 1 0 969713193 628858880 126843 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153530 126843 301 301 0 153229 0
vsize: 614120
[startup+190.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 219386 0 0 0 18509 495 0 0 25 0 1 0 969713193 633593856 127791 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154686 127791 301 301 0 154385 0
vsize: 618744
[startup+200.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 220365 0 0 0 19506 498 0 0 25 0 1 0 969713193 638332928 128737 4294967295 134512640 135730672 3221224576 3221223184 134744222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155843 128737 301 301 0 155542 0
vsize: 623372
[startup+210.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 220817 0 0 0 20505 499 0 0 25 0 1 0 969713193 640008192 128992 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156252 128992 301 301 0 155951 0
vsize: 625008
[startup+220.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 221359 0 0 0 21504 501 0 0 25 0 1 0 969713193 642199552 129436 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156787 129436 301 301 0 156486 0
vsize: 627148
[startup+230.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 222064 0 0 0 22502 503 0 0 25 0 1 0 969713193 645672960 130075 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157635 130075 301 301 0 157334 0
vsize: 630540
[startup+240.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 222401 0 0 0 23501 504 0 0 25 0 1 0 969713193 647426048 130379 4294967295 134512640 135730672 3221224576 3221223072 134747947 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158063 130379 301 301 0 157762 0
vsize: 632252
[startup+250.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 222947 0 0 0 24499 506 0 0 25 0 1 0 969713193 649568256 130761 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158586 130761 301 301 0 158285 0
vsize: 634344
[startup+260.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 223364 0 0 0 25498 508 0 0 25 0 1 0 969713193 651304960 131046 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159010 131046 301 301 0 158709 0
vsize: 636040
[startup+270.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 223842 0 0 0 26497 509 0 0 25 0 1 0 969713193 653451264 131458 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159534 131458 301 301 0 159233 0
vsize: 638136
[startup+280.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 224264 0 0 0 27496 510 0 0 25 0 1 0 969713193 655187968 131748 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159958 131748 301 301 0 159657 0
vsize: 639832
[startup+290.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 224399 0 0 0 28495 511 0 0 25 0 1 0 969713193 655724544 131850 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160089 131850 301 301 0 159788 0
vsize: 640356
[startup+300.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 224753 0 0 0 29495 513 0 0 25 0 1 0 969713193 657195008 132072 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160448 132072 301 301 0 160147 0
vsize: 641792
[startup+310.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 224880 0 0 0 30494 513 0 0 25 0 1 0 969713193 657596416 132166 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160546 132166 301 301 0 160245 0
vsize: 642184
[startup+320.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 224960 0 0 0 31494 514 0 0 25 0 1 0 969713193 658001920 132246 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160645 132246 301 301 0 160344 0
vsize: 642580
[startup+330.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 225140 0 0 0 32494 515 0 0 25 0 1 0 969713193 658808832 132393 4294967295 134512640 135730672 3221224576 3221223220 134748260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160842 132393 301 301 0 160541 0
vsize: 643368
[startup+340.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 225208 0 0 0 33494 515 0 0 25 0 1 0 969713193 659214336 132461 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160941 132461 301 301 0 160640 0
vsize: 643764
[startup+350.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 225424 0 0 0 34493 517 0 0 25 0 1 0 969713193 660156416 132644 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161171 132644 301 301 0 160870 0
vsize: 644684
[startup+360.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 225678 0 0 0 35492 518 0 0 25 0 1 0 969713193 661225472 132832 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161432 132832 301 301 0 161131 0
vsize: 645728
[startup+370.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 225901 0 0 0 36491 519 0 0 25 0 1 0 969713193 662159360 132956 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161660 132956 301 301 0 161359 0
vsize: 646640
[startup+380.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 226076 0 0 0 37490 520 0 0 25 0 1 0 969713193 662827008 133065 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161823 133065 301 301 0 161522 0
vsize: 647292
[startup+390.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 226216 0 0 0 38490 521 0 0 25 0 1 0 969713193 663089152 133139 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161887 133139 301 301 0 161586 0
vsize: 647548
[startup+400.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 226577 0 0 0 39488 523 0 0 25 0 1 0 969713193 664702976 133434 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162281 133434 301 301 0 161980 0
vsize: 649124
[startup+410.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 226713 0 0 0 40487 523 0 0 25 0 1 0 969713193 665501696 133570 4294967295 134512640 135730672 3221224576 3221223264 134748426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162476 133570 301 301 0 162175 0
vsize: 649904
[startup+420.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 229932 0 0 0 41479 533 0 0 25 0 1 0 969713193 665899008 133629 4294967295 134512640 135730672 3221224576 3221223200 134783068 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162573 133629 301 301 0 162272 0
vsize: 650292
[startup+430.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 229991 0 0 0 42478 533 0 0 25 0 1 0 969713193 666030080 133655 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162605 133655 301 301 0 162304 0
vsize: 650420
[startup+440.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 230038 0 0 0 43477 534 0 0 25 0 1 0 969713193 666296320 133702 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162670 133702 301 301 0 162369 0
vsize: 650680
[startup+450.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 230162 0 0 0 44477 535 0 0 25 0 1 0 969713193 666693632 133793 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162767 133793 301 301 0 162466 0
vsize: 651068
[startup+460.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 230382 0 0 0 45476 536 0 0 25 0 1 0 969713193 667623424 133980 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162994 133980 301 301 0 162693 0
vsize: 651976
[startup+470.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 230430 0 0 0 46476 537 0 0 25 0 1 0 969713193 667889664 134028 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163059 134028 301 301 0 162758 0
vsize: 652236
[startup+480.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 233758 0 0 0 47467 546 0 0 25 0 1 0 969713193 668966912 134196 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163322 134196 301 301 0 163021 0
vsize: 653288
[startup+490.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 233987 0 0 0 48465 549 0 0 25 0 1 0 969713193 670347264 134425 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163659 134425 301 301 0 163358 0
vsize: 654636
[startup+500.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 234270 0 0 0 49464 550 0 0 25 0 1 0 969713193 671715328 134708 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163993 134708 301 301 0 163692 0
vsize: 655972
[startup+510.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 234330 0 0 0 50463 551 0 0 25 0 1 0 969713193 671985664 134768 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164059 134768 301 301 0 163758 0
vsize: 656236
[startup+520.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 234333 0 0 0 51463 552 0 0 25 0 1 0 969713193 671985664 134771 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164059 134771 301 301 0 163758 0
vsize: 656236
[startup+530.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 234497 0 0 0 52462 553 0 0 25 0 1 0 969713193 672657408 134902 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164223 134902 301 301 0 163922 0
vsize: 656892
[startup+540.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 234545 0 0 0 53462 553 0 0 25 0 1 0 969713193 672923648 134950 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164288 134950 301 301 0 163987 0
vsize: 657152
[startup+550.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 234576 0 0 0 54461 554 0 0 25 0 1 0 969713193 672923648 134981 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164288 134981 301 301 0 163987 0
vsize: 657152
[startup+560.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 234688 0 0 0 55461 555 0 0 25 0 1 0 969713193 673464320 135093 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164420 135093 301 301 0 164119 0
vsize: 657680
[startup+570.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 234817 0 0 0 56460 556 0 0 25 0 1 0 969713193 673730560 135189 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164485 135189 301 301 0 164184 0
vsize: 657940
[startup+580.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 238014 0 0 0 57453 564 0 0 25 0 1 0 969713193 673996800 135226 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164550 135226 301 301 0 164249 0
vsize: 658200
[startup+590.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 238750 0 0 0 58450 567 0 0 25 0 1 0 969713193 677482496 135896 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165401 135896 301 301 0 165100 0
vsize: 661604
[startup+600.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 239151 0 0 0 59448 569 0 0 25 0 1 0 969713193 679276544 136198 4294967295 134512640 135730672 3221224576 3221223232 134734824 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165839 136198 301 301 0 165538 0
vsize: 663356
[startup+610.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 239488 0 0 0 60446 571 0 0 25 0 1 0 969713193 680919040 136502 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166240 136502 301 301 0 165939 0
vsize: 664960
[startup+620.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 239837 0 0 0 61445 573 0 0 25 0 1 0 969713193 682455040 136752 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166615 136752 301 301 0 166314 0
vsize: 666460
[startup+630.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 239922 0 0 0 62444 574 0 0 25 0 1 0 969713193 682586112 136804 4294967295 134512640 135730672 3221224576 3221223200 134748106 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166647 136804 301 301 0 166346 0
vsize: 666588
[startup+640.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 239968 0 0 0 63443 574 0 0 25 0 1 0 969713193 682717184 136817 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166679 136817 301 301 0 166378 0
vsize: 666716
[startup+650.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 243152 0 0 0 64436 582 0 0 25 0 1 0 969713193 682983424 136874 4294967295 134512640 135730672 3221224576 3221222992 134741728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166744 136874 301 301 0 166443 0
vsize: 666976
[startup+660.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 243558 0 0 0 65434 584 0 0 25 0 1 0 969713193 684859392 137214 4294967295 134512640 135730672 3221224576 3221223264 134748565 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167202 137214 301 301 0 166901 0
vsize: 668808
[startup+670.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 244649 0 0 0 66433 586 0 0 25 0 1 0 969713193 690184192 138239 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168502 138239 301 301 0 168201 0
vsize: 674008
[startup+680.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 244837 0 0 0 67431 587 0 0 25 0 1 0 969713193 690913280 138361 4294967295 134512640 135730672 3221224576 3221223184 134744438 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168680 138361 301 301 0 168379 0
vsize: 674720
[startup+690.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 244936 0 0 0 68430 589 0 0 25 0 1 0 969713193 691318784 138460 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168779 138460 301 301 0 168478 0
vsize: 675116
[startup+700.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 245066 0 0 0 69429 590 0 0 25 0 1 0 969713193 692056064 138590 4294967295 134512640 135730672 3221224576 3221223200 134748200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168959 138590 301 301 0 168658 0
vsize: 675836
[startup+710.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 245108 0 0 0 70427 592 0 0 25 0 1 0 969713193 692187136 138599 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168991 138599 301 301 0 168690 0
vsize: 675964
[startup+720.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 245130 0 0 0 71426 593 0 0 25 0 1 0 969713193 692322304 138621 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169024 138621 301 301 0 168723 0
vsize: 676096
[startup+730.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 245151 0 0 0 72425 595 0 0 25 0 1 0 969713193 692457472 138642 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169057 138642 301 301 0 168756 0
vsize: 676228
[startup+740.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 248319 0 0 0 73417 603 0 0 25 0 1 0 969713193 692727808 138683 4294967295 134512640 135730672 3221224576 3221222824 135285390 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169123 138683 301 301 0 168822 0
vsize: 676492
[startup+750.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 248691 0 0 0 74415 605 0 0 25 0 1 0 969713193 694538240 138989 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169565 138989 301 301 0 169264 0
vsize: 678260
[startup+760.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 248751 0 0 0 75415 606 0 0 25 0 1 0 969713193 695001088 139049 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169678 139049 301 301 0 169377 0
vsize: 678712
[startup+770.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 248767 0 0 0 76414 607 0 0 25 0 1 0 969713193 695001088 139065 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169678 139065 301 301 0 169377 0
vsize: 678712
[startup+780.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 248791 0 0 0 77413 608 0 0 25 0 1 0 969713193 695001088 139089 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169678 139089 301 301 0 169377 0
vsize: 678712
[startup+790.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 251918 0 0 0 78405 616 0 0 25 0 1 0 969713193 695001088 139089 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169678 139089 301 301 0 169377 0
vsize: 678712
[startup+800.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 251930 0 0 0 79405 616 0 0 25 0 1 0 969713193 695197696 139101 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169726 139101 301 301 0 169425 0
vsize: 678904
[startup+810.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 251931 0 0 0 80403 618 0 0 25 0 1 0 969713193 695197696 139102 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169726 139102 301 301 0 169425 0
vsize: 678904
[startup+820.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 251978 0 0 0 81403 619 0 0 25 0 1 0 969713193 695332864 139149 4294967295 134512640 135730672 3221224576 3221223232 134734856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169759 139149 301 301 0 169458 0
vsize: 679036
[startup+830.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 251979 0 0 0 82402 620 0 0 25 0 1 0 969713193 695332864 139150 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169759 139150 301 301 0 169458 0
vsize: 679036
[startup+840.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 251980 0 0 0 83401 621 0 0 25 0 1 0 969713193 695332864 139151 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169759 139151 301 301 0 169458 0
vsize: 679036
[startup+850.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 255123 0 0 0 84394 628 0 0 25 0 1 0 969713193 708141056 142294 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172886 142294 301 301 0 172585 0
vsize: 691544
[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 255176 0 0 0 85392 630 0 0 25 0 1 0 969713193 695738368 139220 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169858 139220 301 301 0 169557 0
vsize: 679432
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 255180 0 0 0 86391 632 0 0 25 0 1 0 969713193 695738368 139224 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169858 139224 301 301 0 169557 0
vsize: 679432
[startup+880.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 255181 0 0 0 87389 634 0 0 25 0 1 0 969713193 695738368 139225 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169858 139225 301 301 0 169557 0
vsize: 679432
[startup+890.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 255183 0 0 0 88389 634 0 0 25 0 1 0 969713193 695738368 139227 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169858 139227 301 301 0 169557 0
vsize: 679432
[startup+900.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 258314 0 0 0 89381 642 0 0 25 0 1 0 969713193 708546560 142358 4294967295 134512640 135730672 3221224576 3221222756 134773884 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172985 142358 301 301 0 172684 0
vsize: 691940
[startup+910.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 258334 0 0 0 90379 644 0 0 25 0 1 0 969713193 695873536 139251 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169891 139251 301 301 0 169590 0
vsize: 679564
[startup+920.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 258357 0 0 0 91379 644 0 0 25 0 1 0 969713193 696008704 139274 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169924 139274 301 301 0 169623 0
vsize: 679696
[startup+930.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 258358 0 0 0 92378 646 0 0 25 0 1 0 969713193 696008704 139275 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169924 139275 301 301 0 169623 0
vsize: 679696
[startup+940.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 258360 0 0 0 93376 647 0 0 25 0 1 0 969713193 696008704 139277 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169924 139277 301 301 0 169623 0
vsize: 679696
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 258368 0 0 0 94376 648 0 0 25 0 1 0 969713193 696008704 139285 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169924 139285 301 301 0 169623 0
vsize: 679696
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 261538 0 0 0 95368 656 0 0 25 0 1 0 969713193 709087232 142455 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173117 142455 301 301 0 172816 0
vsize: 692468
[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 261544 0 0 0 96366 658 0 0 25 0 1 0 969713193 696279040 139334 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169990 139334 301 301 0 169689 0
vsize: 679960
[startup+980.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 261703 0 0 0 97365 659 0 0 25 0 1 0 969713193 696672256 139394 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170086 139394 301 301 0 169785 0
vsize: 680344
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 261768 0 0 0 98364 661 0 0 25 0 1 0 969713193 696938496 139459 4294967295 134512640 135730672 3221224576 3221222992 134741558 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170151 139459 301 301 0 169850 0
vsize: 680604
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 264917 0 0 0 99356 669 0 0 25 0 1 0 969713193 697073664 139481 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170184 139481 301 301 0 169883 0
vsize: 680736
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 264921 0 0 0 100355 670 0 0 25 0 1 0 969713193 697073664 139485 4294967295 134512640 135730672 3221224576 3221223072 134747519 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170184 139485 301 301 0 169883 0
vsize: 680736
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 264923 0 0 0 101354 671 0 0 25 0 1 0 969713193 697073664 139487 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170184 139487 301 301 0 169883 0
vsize: 680736
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 268137 0 0 0 102347 679 0 0 25 0 1 0 969713193 710148096 142668 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173376 142668 301 301 0 173075 0
vsize: 693504
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 268137 0 0 0 103346 680 0 0 25 0 1 0 969713193 697339904 139541 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170249 139541 301 301 0 169948 0
vsize: 680996
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 268138 0 0 0 104344 682 0 0 25 0 1 0 969713193 697339904 139542 4294967295 134512640 135730672 3221224576 3221223232 134734771 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170249 139542 301 301 0 169948 0
vsize: 680996
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 268140 0 0 0 105344 682 0 0 25 0 1 0 969713193 697339904 139544 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170249 139544 301 301 0 169948 0
vsize: 680996
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 271268 0 0 0 106337 690 0 0 25 0 1 0 969713193 710148096 142672 4294967295 134512640 135730672 3221224576 3221222744 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173376 142672 301 301 0 173075 0
vsize: 693504
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 271270 0 0 0 107335 692 0 0 25 0 1 0 969713193 697339904 139547 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170249 139547 301 301 0 169948 0
vsize: 680996
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 271271 0 0 0 108333 694 0 0 25 0 1 0 969713193 697339904 139548 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170249 139548 301 301 0 169948 0
vsize: 680996
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 274400 0 0 0 109326 701 0 0 25 0 1 0 969713193 710148096 142677 4294967295 134512640 135730672 3221224576 3221222752 134768808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173376 142677 301 301 0 173075 0
vsize: 693504
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 274401 0 0 0 110324 703 0 0 25 0 1 0 969713193 697339904 139551 4294967295 134512640 135730672 3221224576 3221223072 134747539 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170249 139551 301 301 0 169948 0
vsize: 680996
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 274403 0 0 0 111323 704 0 0 25 0 1 0 969713193 697339904 139553 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170249 139553 301 301 0 169948 0
vsize: 680996
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 277531 0 0 0 112316 712 0 0 25 0 1 0 969713193 710148096 142681 4294967295 134512640 135730672 3221224576 3221222848 134774598 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173376 142681 301 301 0 173075 0
vsize: 693504
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 277533 0 0 0 113315 713 0 0 25 0 1 0 969713193 697339904 139556 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170249 139556 301 301 0 169948 0
vsize: 680996
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 280662 0 0 0 114307 721 0 0 25 0 1 0 969713193 710148096 142685 4294967295 134512640 135730672 3221224576 3221222760 134772706 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173376 142685 301 301 0 173075 0
vsize: 693504
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 280681 0 0 0 115306 723 0 0 25 0 1 0 969713193 697475072 139577 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170282 139577 301 301 0 169981 0
vsize: 681128
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 280683 0 0 0 116305 724 0 0 25 0 1 0 969713193 697475072 139579 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170282 139579 301 301 0 169981 0
vsize: 681128
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 280687 0 0 0 117304 725 0 0 25 0 1 0 969713193 697475072 139583 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170282 139583 301 301 0 169981 0
vsize: 681128
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 283814 0 0 0 118296 733 0 0 25 0 1 0 969713193 697475072 139583 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170282 139583 301 301 0 169981 0
vsize: 681128
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 283837 0 0 0 119294 735 0 0 25 0 1 0 969713193 697610240 139606 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170315 139606 301 301 0 170014 0
vsize: 681260
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.18 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 17780
Raw data (stat): 17780 (pb2sat-v2) R 17779 25568 25567 0 -1 0 283837 0 0 0 119294 735 0 0 25 0 1 0 969713193 697610240 139606 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170315 139606 301 301 0 170014 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.18
CPU time (s): 1202.44
CPU user time (s): 1194.8
CPU system time (s): 7.63784
CPU usage (%): 100.022
Max. virtual memory (Kb): 693504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####