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/miplib2003/normalized-mps-v2-20-10-fiber.opb
MD5SUM	02cc3bacd8064c2ceecf74a8d0a8ab0f
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	108097879
Optimality of the best value was proved	NO
Number of terms in the objective function	1254
Biggest coefficient in the objective function	72966962
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	4807778524
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	4807778524
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	95.3155
Number of variables	2574
Total number of constraints	1617
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1290
Number of constraints which are nor clauses,nor cardinality constraints	327
Minimum length of a constraint	1
Maximum length of a constraint	61
Trace number 42458

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 07:51:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25665 boxname=wulflinc2 idbench=965 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  02cc3bacd8064c2ceecf74a8d0a8ab0f  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-fiber.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-fiber.opb
IDLAUNCH: 25665
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        701900 kB
Buffers:         35028 kB
Cached:         272440 kB
SwapCached:       4448 kB
Active:          61452 kB
Inactive:       251080 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        701648 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14580 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 08:11:33 (client local time) WITH STATUS 0 IN 1200.94 SECONDS
stats: 25665 7 1200.94 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 6167/302694	Time: 205.026/86400
c Decision: 6178/302694	Time: 245.085/86400
c Decision: 6232/302694	Time: 351.298/86400
c Decision: 6232/302694	Time: 363.888/86400
c Decision: 6234/302694	Time: 375.049/86400
c Decision: 6235/302694	Time: 388.063/86400
c Decision: 6239/302694	Time: 398.919/86400
c Decision: 6239/302694	Time: 411.321/86400
c Decision: 6239/302694	Time: 421.441/86400
c Decision: 6239/302694	Time: 432.27/86400
c Decision: 6242/302694	Time: 447.738/86400
c Decision: 6242/302694	Time: 454.18/86400
c Decision: 6242/302694	Time: 471.553/86400
c Decision: 6246/302694	Time: 487.104/86400
c Decision: 6246/302694	Time: 497.283/86400
c Decision: 6246/302694	Time: 509.843/86400
c Decision: 6246/302694	Time: 524.361/86400
c Decision: 6246/302694	Time: 534.452/86400
c Decision: 6249/302694	Time: 550.126/86400
c Decision: 6249/302694	Time: 562.376/86400
c Decision: 6252/302694	Time: 585.215/86400
c Decision: 6252/302694	Time: 595.774/86400
c Decision: 6259/302694	Time: 609.388/86400
c Decision: 6259/302694	Time: 616.321/86400
c Decision: 6259/302694	Time: 626.964/86400
c Decision: 6263/302694	Time: 654.078/86400
c Decision: 6263/302694	Time: 666.52/86400
c Decision: 6269/302694	Time: 683.41/86400
c Decision: 6269/302694	Time: 694.589/86400
c Decision: 6269/302694	Time: 702.809/86400
c Decision: 6269/302694	Time: 713.06/86400
c Decision: 6269/302694	Time: 727.029/86400
c Decision: 6269/302694	Time: 737.616/86400
c Decision: 6269/302694	Time: 746.456/86400
c Decision: 6269/302694	Time: 755.164/86400
c Decision: 6269/302694	Time: 769.268/86400
c Decision: 6269/302694	Time: 776.946/86400
c Decision: 6269/302694	Time: 783.204/86400
c Decision: 6269/302694	Time: 791.732/86400
c Decision: 6269/302694	Time: 803.396/86400
c Decision: 6269/302694	Time: 814.197/86400
c Decision: 6269/302694	Time: 825.739/86400
c Decision: 6269/302694	Time: 833.593/86400
c Decision: 6269/302694	Time: 841.786/86400
c Decision: 6269/302694	Time: 850.918/86400
c Decision: 6269/302694	Time: 859.564/86400
c Decision: 6269/302694	Time: 869.239/86400
c Decision: 6269/302694	Time: 879.292/86400
c Decision: 6269/302694	Time: 889.86/86400
c Decision: 6269/302694	Time: 899.368/86400
c Decision: 6269/302694	Time: 907.283/86400
c Decision: 6269/302694	Time: 916.988/86400
c Decision: 6269/302694	Time: 926.12/86400
c Decision: 6269/302694	Time: 932.843/86400
c Decision: 6269/302694	Time: 943.331/86400
c Decision: 6269/302694	Time: 954.628/86400
c Decision: 6269/302694	Time: 963.962/86400
c Decision: 6269/302694	Time: 970.683/86400
c Decision: 6269/302694	Time: 979.28/86400
c Decision: 6269/302694	Time: 986.409/86400
c Decision: 6269/302694	Time: 995.306/86400
c Decision: 6269/302694	Time: 1004.49/86400
c Decision: 6273/302694	Time: 1015.56/86400
c Decision: 6273/302694	Time: 1025.85/86400
c Decision: 6273/302694	Time: 1033.67/86400
c Decision: 6273/302694	Time: 1041.39/86400
c Decision: 6273/302694	Time: 1049.73/86400
c Decision: 6273/302694	Time: 1057.89/86400
c Decision: 6273/302694	Time: 1066.89/86400
c Decision: 6273/302694	Time: 1075.85/86400
c Decision: 6273/302694	Time: 1083.96/86400
c Decision: 6273/302694	Time: 1092.22/86400
c Decision: 6273/302694	Time: 1100.77/86400
c Decision: 6276/302694	Time: 1113.84/86400
c Decision: 6276/302694	Time: 1122.72/86400
c Decision: 6276/302694	Time: 1130.61/86400
c Decision: 6276/302694	Time: 1142.93/86400
c Decision: 6276/302694	Time: 1153.71/86400
c Decision: 6279/302694	Time: 1166.72/86400
c Decision: 6279/302694	Time: 1178.58/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.83 0.92 0.90 2/54 7513
Raw data (stat): 7513 (runsolver) R 7512 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969106784 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.85 0.92 0.90 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 27546 0 0 0 939 59 0 0 25 0 1 0 969106784 77758464 16618 4294967295 134512640 135730672 3221224576 3221210782 134788698 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18984 16618 301 301 0 18683 0
vsize: 75936
[startup+20.0012 s]
Raw data (loadavg): 0.88 0.92 0.90 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 45405 0 0 0 1900 98 0 0 25 0 1 0 969106784 134148096 23070 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32751 23070 301 301 0 32450 0
vsize: 131004
[startup+30.0018 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 46318 0 0 0 2895 103 0 0 25 0 1 0 969106784 138133504 23983 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33724 23983 301 301 0 33423 0
vsize: 134896
[startup+40.0021 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 46796 0 0 0 3893 106 0 0 25 0 1 0 969106784 140312576 24461 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34256 24461 301 301 0 33955 0
vsize: 137024
[startup+50.0033 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 47111 0 0 0 4892 107 0 0 25 0 1 0 969106784 141770752 24776 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34612 24776 301 301 0 34311 0
vsize: 138448
[startup+60.003 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 47319 0 0 0 5890 109 0 0 25 0 1 0 969106784 142917632 24984 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34892 24984 301 301 0 34591 0
vsize: 139568
[startup+70.0038 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 47421 0 0 0 6889 110 0 0 25 0 1 0 969106784 143380480 25086 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35005 25086 301 301 0 34704 0
vsize: 140020
[startup+80.0045 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 47528 0 0 0 7888 112 0 0 25 0 1 0 969106784 143872000 25193 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35125 25193 301 301 0 34824 0
vsize: 140500
[startup+90.0053 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 47607 0 0 0 8886 113 0 0 25 0 1 0 969106784 144199680 25272 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35205 25272 301 301 0 34904 0
vsize: 140820
[startup+100.005 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 47632 0 0 0 9885 115 0 0 25 0 1 0 969106784 144363520 25297 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35245 25297 301 301 0 34944 0
vsize: 140980
[startup+110.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 47705 0 0 0 10884 116 0 0 25 0 1 0 969106784 144527360 25370 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35285 25370 301 301 0 34984 0
vsize: 141140
[startup+120.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 47755 0 0 0 11883 117 0 0 25 0 1 0 969106784 144691200 25420 4294967295 134512640 135730672 3221224576 3221223232 134734771 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35325 25420 301 301 0 35024 0
vsize: 141300
[startup+130.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 47854 0 0 0 12882 118 0 0 25 0 1 0 969106784 145182720 25519 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35445 25519 301 301 0 35144 0
vsize: 141780
[startup+140.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 47927 0 0 0 13881 119 0 0 25 0 1 0 969106784 145543168 25592 4294967295 134512640 135730672 3221224576 3221223172 134747725 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35533 25592 301 301 0 35232 0
vsize: 142132
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 47945 0 0 0 14880 120 0 0 25 0 1 0 969106784 145739776 25610 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35581 25610 301 301 0 35280 0
vsize: 142324
[startup+160.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 47976 0 0 0 15878 122 0 0 25 0 1 0 969106784 145739776 25641 4294967295 134512640 135730672 3221224576 3221223072 134747708 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35581 25641 301 301 0 35280 0
vsize: 142324
[startup+170.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 47987 0 0 0 16877 123 0 0 25 0 1 0 969106784 145903616 25652 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35621 25652 301 301 0 35320 0
vsize: 142484
[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 47996 0 0 0 17876 124 0 0 25 0 1 0 969106784 145903616 25661 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35621 25661 301 301 0 35320 0
vsize: 142484
[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 48008 0 0 0 18874 126 0 0 25 0 1 0 969106784 145903616 25673 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35621 25673 301 301 0 35320 0
vsize: 142484
[startup+200.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 48027 0 0 0 19873 127 0 0 25 0 1 0 969106784 145903616 25692 4294967295 134512640 135730672 3221224576 3221223192 134748218 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35621 25692 301 301 0 35320 0
vsize: 142484
[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 48033 0 0 0 20870 130 0 0 25 0 1 0 969106784 145903616 25698 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35621 25698 301 301 0 35320 0
vsize: 142484
[startup+220.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 48647 0 0 0 21868 132 0 0 25 0 1 0 969106784 145903616 25720 4294967295 134512640 135730672 3221224576 3221223264 134748420 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35621 25720 301 301 0 35320 0
vsize: 142484
[startup+230.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 48658 0 0 0 22867 133 0 0 25 0 1 0 969106784 145903616 25731 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35621 25731 301 301 0 35320 0
vsize: 142484
[startup+240.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 48684 0 0 0 23864 135 0 0 25 0 1 0 969106784 146100224 25757 4294967295 134512640 135730672 3221224576 3221223064 135291065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35669 25757 301 301 0 35368 0
vsize: 142676
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 48695 0 0 0 24863 137 0 0 25 0 1 0 969106784 146100224 25768 4294967295 134512640 135730672 3221224576 3221223240 134748654 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35669 25768 301 301 0 35368 0
vsize: 142676
[startup+260.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 49310 0 0 0 25860 140 0 0 25 0 1 0 969106784 146100224 25791 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35669 25791 301 301 0 35368 0
vsize: 142676
[startup+270.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 49359 0 0 0 26859 141 0 0 25 0 1 0 969106784 146264064 25840 4294967295 134512640 135730672 3221224576 3221223072 134747885 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35709 25840 301 301 0 35408 0
vsize: 142836
[startup+280.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 49365 0 0 0 27857 142 0 0 25 0 1 0 969106784 146264064 25846 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35709 25846 301 301 0 35408 0
vsize: 142836
[startup+290.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 49401 0 0 0 28856 144 0 0 25 0 1 0 969106784 146591744 25882 4294967295 134512640 135730672 3221224576 3221223264 134748446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35789 25882 301 301 0 35488 0
vsize: 143156
[startup+300.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 49461 0 0 0 29855 145 0 0 25 0 1 0 969106784 146788352 25942 4294967295 134512640 135730672 3221224576 3221222824 135284829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35837 25942 301 301 0 35536 0
vsize: 143348
[startup+310.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 49472 0 0 0 30854 146 0 0 25 0 1 0 969106784 146788352 25953 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35837 25953 301 301 0 35536 0
vsize: 143348
[startup+320.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 49505 0 0 0 31852 148 0 0 25 0 1 0 969106784 146984960 25986 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35885 25986 301 301 0 35584 0
vsize: 143540
[startup+330.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 49531 0 0 0 32851 150 0 0 25 0 1 0 969106784 147181568 26012 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35933 26012 301 301 0 35632 0
vsize: 143732
[startup+340.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 49539 0 0 0 33850 151 0 0 25 0 1 0 969106784 147181568 26020 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35933 26020 301 301 0 35632 0
vsize: 143732
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 49551 0 0 0 34849 152 0 0 25 0 1 0 969106784 147181568 26032 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35933 26032 301 301 0 35632 0
vsize: 143732
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 49570 0 0 0 35847 153 0 0 25 0 1 0 969106784 147181568 26051 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35933 26051 301 301 0 35632 0
vsize: 143732
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 50187 0 0 0 36845 156 0 0 25 0 1 0 969106784 147181568 26076 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35933 26076 301 301 0 35632 0
vsize: 143732
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 50789 0 0 0 37843 158 0 0 25 0 1 0 969106784 147181568 26086 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35933 26086 301 301 0 35632 0
vsize: 143732
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 51412 0 0 0 38840 161 0 0 25 0 1 0 969106784 147378176 26117 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35981 26117 301 301 0 35680 0
vsize: 143924
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 51449 0 0 0 39840 162 0 0 25 0 1 0 969106784 147574784 26154 4294967295 134512640 135730672 3221224576 3221222992 134741546 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36029 26154 301 301 0 35728 0
vsize: 144116
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 52057 0 0 0 40837 164 0 0 25 0 1 0 969106784 147574784 26170 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36029 26170 301 301 0 35728 0
vsize: 144116
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 52659 0 0 0 41834 167 0 0 25 0 1 0 969106784 147574784 26180 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36029 26180 301 301 0 35728 0
vsize: 144116
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 53263 0 0 0 42832 170 0 0 25 0 1 0 969106784 147574784 26192 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36029 26192 301 301 0 35728 0
vsize: 144116
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 53865 0 0 0 43830 172 0 0 25 0 1 0 969106784 147574784 26202 4294967295 134512640 135730672 3221224576 3221222908 134739224 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36029 26202 301 301 0 35728 0
vsize: 144116
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 54469 0 0 0 44827 175 0 0 25 0 1 0 969106784 147574784 26214 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36029 26214 301 301 0 35728 0
vsize: 144116
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 55074 0 0 0 45825 177 0 0 25 0 1 0 969106784 149999616 26819 4294967295 134512640 135730672 3221224576 3221222716 134765490 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36621 26819 301 301 0 36320 0
vsize: 146484
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 55683 0 0 0 46822 180 0 0 25 0 1 0 969106784 147574784 26244 4294967295 134512640 135730672 3221224576 3221222940 135291214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36029 26244 301 301 0 35728 0
vsize: 144116
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 55688 0 0 0 47822 180 0 0 25 0 1 0 969106784 147574784 26249 4294967295 134512640 135730672 3221224576 3221223196 134730931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36029 26249 301 301 0 35728 0
vsize: 144116
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 56289 0 0 0 48820 183 0 0 25 0 1 0 969106784 147574784 26258 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36029 26258 301 301 0 35728 0
vsize: 144116
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 56929 0 0 0 49818 185 0 0 25 0 1 0 969106784 150392832 26898 4294967295 134512640 135730672 3221224576 3221222728 134765486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36717 26898 301 301 0 36416 0
vsize: 146868
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7513
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 56942 0 0 0 50816 186 0 0 25 0 1 0 969106784 147968000 26319 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36125 26319 301 301 0 35824 0
vsize: 144500
[startup+520.022 s]
Raw data (loadavg): 1.15 1.00 0.92 2/58 7560
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 57543 0 0 0 51814 189 0 0 25 0 1 0 969106784 164745216 26328 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40221 26328 301 301 0 39920 0
vsize: 160884
[startup+530.023 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 7566
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 58148 0 0 0 52812 191 0 0 25 0 1 0 969106784 164745216 26341 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40221 26341 301 301 0 39920 0
vsize: 160884
[startup+540.023 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 7566
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 58758 0 0 0 53810 193 0 0 25 0 1 0 969106784 164745216 26359 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40221 26359 301 301 0 39920 0
vsize: 160884
[startup+550.023 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 7566
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 59361 0 0 0 54807 196 0 0 25 0 1 0 969106784 164745216 26370 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40221 26370 301 301 0 39920 0
vsize: 160884
[startup+560.024 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 7566
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 59389 0 0 0 55807 197 0 0 25 0 1 0 969106784 164941824 26398 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40269 26398 301 301 0 39968 0
vsize: 161076
[startup+570.024 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 7566
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 59993 0 0 0 56805 199 0 0 25 0 1 0 969106784 164941824 26410 4294967295 134512640 135730672 3221224576 3221223176 134747441 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40269 26410 301 301 0 39968 0
vsize: 161076
[startup+580.024 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 7566
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 60591 0 0 0 57803 201 0 0 25 0 1 0 969106784 164941824 26416 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40269 26416 301 301 0 39968 0
vsize: 161076
[startup+590.025 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 60602 0 0 0 58802 202 0 0 25 0 1 0 969106784 164941824 26427 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40269 26427 301 301 0 39968 0
vsize: 161076
[startup+600.026 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 61211 0 0 0 59800 204 0 0 25 0 1 0 969106784 164941824 26444 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40269 26444 301 301 0 39968 0
vsize: 161076
[startup+610.026 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 61821 0 0 0 60797 207 0 0 25 0 1 0 969106784 165138432 26462 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40317 26462 301 301 0 40016 0
vsize: 161268
[startup+620.026 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 61833 0 0 0 61797 208 0 0 25 0 1 0 969106784 165138432 26474 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40317 26474 301 301 0 40016 0
vsize: 161268
[startup+630.026 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 63034 0 0 0 62793 211 0 0 25 0 1 0 969106784 165138432 26491 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40317 26491 301 301 0 40016 0
vsize: 161268
[startup+640.026 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 63636 0 0 0 63791 214 0 0 25 0 1 0 969106784 167563264 27093 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40909 27093 301 301 0 40608 0
vsize: 163636
[startup+650.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 63644 0 0 0 64790 215 0 0 25 0 1 0 969106784 165138432 26509 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40317 26509 301 301 0 40016 0
vsize: 161268
[startup+660.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 63654 0 0 0 65790 215 0 0 25 0 1 0 969106784 165138432 26519 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40317 26519 301 301 0 40016 0
vsize: 161268
[startup+670.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 64257 0 0 0 66787 218 0 0 25 0 1 0 969106784 165138432 26530 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40317 26530 301 301 0 40016 0
vsize: 161268
[startup+680.028 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 64853 0 0 0 67785 221 0 0 25 0 1 0 969106784 165138432 26534 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40317 26534 301 301 0 40016 0
vsize: 161268
[startup+690.028 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 64872 0 0 0 68784 222 0 0 25 0 1 0 969106784 165138432 26553 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40317 26553 301 301 0 40016 0
vsize: 161268
[startup+700.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 65471 0 0 0 69781 224 0 0 25 0 1 0 969106784 165138432 26560 4294967295 134512640 135730672 3221224576 3221223168 134747724 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40317 26560 301 301 0 40016 0
vsize: 161268
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 66074 0 0 0 70779 227 0 0 25 0 1 0 969106784 165138432 26571 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40317 26571 301 301 0 40016 0
vsize: 161268
[startup+720.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 66677 0 0 0 71777 230 0 0 25 0 1 0 969106784 165138432 26582 4294967295 134512640 135730672 3221224576 3221223264 134748420 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40317 26582 301 301 0 40016 0
vsize: 161268
[startup+730.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 67276 0 0 0 72774 232 0 0 25 0 1 0 969106784 165138432 26589 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40317 26589 301 301 0 40016 0
vsize: 161268
[startup+740.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 67960 0 0 0 73772 235 0 0 25 0 1 0 969106784 168091648 27273 4294967295 134512640 135730672 3221224576 3221222728 134765474 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41038 27273 301 301 0 40737 0
vsize: 164152
[startup+750.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 67973 0 0 0 74770 237 0 0 25 0 1 0 969106784 165666816 26694 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40446 26694 301 301 0 40145 0
vsize: 161784
[startup+760.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 69178 0 0 0 75766 241 0 0 25 0 1 0 969106784 165666816 26715 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40446 26715 301 301 0 40145 0
vsize: 161784
[startup+770.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 69795 0 0 0 76763 244 0 0 25 0 1 0 969106784 165666816 26740 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40446 26740 301 301 0 40145 0
vsize: 161784
[startup+780.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 69831 0 0 0 77762 245 0 0 25 0 1 0 969106784 165863424 26776 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40494 26776 301 301 0 40193 0
vsize: 161976
[startup+790.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 71036 0 0 0 78760 248 0 0 25 0 1 0 969106784 168288256 27389 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41086 27389 301 301 0 40785 0
vsize: 164344
[startup+800.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 71657 0 0 0 79757 251 0 0 25 0 1 0 969106784 165863424 26826 4294967295 134512640 135730672 3221224576 3221223072 134747720 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40494 26826 301 301 0 40193 0
vsize: 161976
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 72259 0 0 0 80755 253 0 0 25 0 1 0 969106784 165863424 26836 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40494 26836 301 301 0 40193 0
vsize: 161976
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 72863 0 0 0 81753 255 0 0 25 0 1 0 969106784 165863424 26848 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40494 26848 301 301 0 40193 0
vsize: 161976
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 73462 0 0 0 82750 258 0 0 25 0 1 0 969106784 165863424 26855 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40494 26855 301 301 0 40193 0
vsize: 161976
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 74067 0 0 0 83748 260 0 0 25 0 1 0 969106784 166060032 26868 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40542 26868 301 301 0 40241 0
vsize: 162168
[startup+850.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 74713 0 0 0 84745 263 0 0 25 0 1 0 969106784 166256640 26922 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40590 26922 301 301 0 40289 0
vsize: 162360
[startup+860.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 75342 0 0 0 85743 266 0 0 25 0 1 0 969106784 166453248 26959 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40638 26959 301 301 0 40337 0
vsize: 162552
[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 75971 0 0 0 86740 269 0 0 25 0 1 0 969106784 166453248 26996 4294967295 134512640 135730672 3221224576 3221223196 134748215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40638 26996 301 301 0 40337 0
vsize: 162552
[startup+880.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7568
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 76568 0 0 0 87738 271 0 0 25 0 1 0 969106784 166453248 27001 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40638 27001 301 301 0 40337 0
vsize: 162552
[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 77182 0 0 0 88735 274 0 0 25 0 1 0 969106784 166649856 27023 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40686 27023 301 301 0 40385 0
vsize: 162744
[startup+900.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 77809 0 0 0 89733 277 0 0 25 0 1 0 969106784 166649856 27058 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40686 27058 301 301 0 40385 0
vsize: 162744
[startup+910.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 78411 0 0 0 90730 280 0 0 25 0 1 0 969106784 166649856 27068 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40686 27068 301 301 0 40385 0
vsize: 162744
[startup+920.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 79616 0 0 0 91726 284 0 0 25 0 1 0 969106784 166649856 27089 4294967295 134512640 135730672 3221224576 3221223116 135301642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40686 27089 301 301 0 40385 0
vsize: 162744
[startup+930.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 80226 0 0 0 92723 287 0 0 25 0 1 0 969106784 169271296 27699 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41326 27699 301 301 0 41025 0
vsize: 165304
[startup+940.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 80841 0 0 0 93720 290 0 0 25 0 1 0 969106784 166846464 27130 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40734 27130 301 301 0 40433 0
vsize: 162936
[startup+950.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 81453 0 0 0 94719 291 0 0 25 0 1 0 969106784 166846464 27150 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40734 27150 301 301 0 40433 0
vsize: 162936
[startup+960.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 82053 0 0 0 95717 294 0 0 25 0 1 0 969106784 166846464 27158 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40734 27158 301 301 0 40433 0
vsize: 162936
[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 82664 0 0 0 96715 296 0 0 25 0 1 0 969106784 166846464 27177 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40734 27177 301 301 0 40433 0
vsize: 162936
[startup+980.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 82675 0 0 0 97715 296 0 0 25 0 1 0 969106784 166846464 27188 4294967295 134512640 135730672 3221224576 3221223232 134734824 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40734 27188 301 301 0 40433 0
vsize: 162936
[startup+990.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 83285 0 0 0 98712 299 0 0 25 0 1 0 969106784 166846464 27206 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40734 27206 301 301 0 40433 0
vsize: 162936
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 84485 0 0 0 99709 302 0 0 25 0 1 0 969106784 166846464 27222 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40734 27222 301 301 0 40433 0
vsize: 162936
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 85087 0 0 0 100707 304 0 0 25 0 1 0 969106784 166846464 27232 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40734 27232 301 301 0 40433 0
vsize: 162936
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 85697 0 0 0 101705 307 0 0 25 0 1 0 969106784 166846464 27250 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40734 27250 301 301 0 40433 0
vsize: 162936
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 86305 0 0 0 102702 310 0 0 25 0 1 0 969106784 166846464 27266 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40734 27266 301 301 0 40433 0
vsize: 162936
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 86917 0 0 0 103699 313 0 0 25 0 1 0 969106784 167043072 27286 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40782 27286 301 301 0 40481 0
vsize: 163128
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 87523 0 0 0 104697 315 0 0 25 0 1 0 969106784 167043072 27300 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40782 27300 301 301 0 40481 0
vsize: 163128
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 88156 0 0 0 105695 317 0 0 25 0 1 0 969106784 167043072 27341 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40782 27341 301 301 0 40481 0
vsize: 163128
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 88762 0 0 0 106693 320 0 0 25 0 1 0 969106784 167043072 27355 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40782 27355 301 301 0 40481 0
vsize: 163128
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 89959 0 0 0 107690 323 0 0 25 0 1 0 969106784 169467904 27960 4294967295 134512640 135730672 3221224576 3221222716 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41374 27960 301 301 0 41073 0
vsize: 165496
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 90565 0 0 0 108688 326 0 0 25 0 1 0 969106784 167043072 27382 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40782 27382 301 301 0 40481 0
vsize: 163128
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 90588 0 0 0 109687 326 0 0 25 0 1 0 969106784 167239680 27405 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40830 27405 301 301 0 40529 0
vsize: 163320
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 91195 0 0 0 110685 329 0 0 25 0 1 0 969106784 167239680 27420 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40830 27420 301 301 0 40529 0
vsize: 163320
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 91797 0 0 0 111683 331 0 0 25 0 1 0 969106784 167239680 27430 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40830 27430 301 301 0 40529 0
vsize: 163320
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 92401 0 0 0 112680 334 0 0 25 0 1 0 969106784 167239680 27442 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40830 27442 301 301 0 40529 0
vsize: 163320
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 93008 0 0 0 113678 336 0 0 25 0 1 0 969106784 167239680 27457 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40830 27457 301 301 0 40529 0
vsize: 163320
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 93606 0 0 0 114676 338 0 0 25 0 1 0 969106784 167239680 27463 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40830 27463 301 301 0 40529 0
vsize: 163320
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 94212 0 0 0 115675 340 0 0 25 0 1 0 969106784 167239680 27477 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40830 27477 301 301 0 40529 0
vsize: 163320
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 94812 0 0 0 116673 342 0 0 25 0 1 0 969106784 167239680 27485 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40830 27485 301 301 0 40529 0
vsize: 163320
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 95414 0 0 0 117670 345 0 0 25 0 1 0 969106784 169664512 28087 4294967295 134512640 135730672 3221224576 3221222768 134769481 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41422 28087 301 301 0 41121 0
vsize: 165688
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 95425 0 0 0 118670 345 0 0 25 0 1 0 969106784 167239680 27506 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40830 27506 301 301 0 40529 0
vsize: 163320
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7570
Raw data (stat): 7513 (pb2sat-v2) R 7512 31399 31398 0 -1 0 96028 0 0 0 119668 348 0 0 25 0 1 0 969106784 167239680 27517 4294967295 134512640 135730672 3221224576 3221222896 134732464 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40830 27517 301 301 0 40529 0
vsize: 163320
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.81 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 7570
Raw data (stat): 7513 (pb2sat-v2) Z 7512 31399 31398 0 -1 12 96030 0 0 0 119739 354 0 0 25 0 1 0 969106784 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.81
CPU time (s): 1200.94
CPU user time (s): 1197.4
CPU system time (s): 3.54046
CPU usage (%): 100.01
Max. virtual memory (Kb): 165688
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####