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-fiber.opb
MD5SUM	665f67f4b53c876b2782c354a2ecbf32
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.7554
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 42519

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        582260 kB
Buffers:         33576 kB
Cached:         394652 kB
SwapCached:       1192 kB
Active:          42764 kB
Inactive:       387776 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        582008 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16096 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 09:53:15 (client local time) WITH STATUS 0 IN 1200.95 SECONDS
stats: 25727 7 1200.95 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: 195.807/86400
c Decision: 6178/302694	Time: 235.612/86400
c Decision: 6232/302694	Time: 341.344/86400
c Decision: 6232/302694	Time: 353.957/86400
c Decision: 6234/302694	Time: 364.911/86400
c Decision: 6235/302694	Time: 378.085/86400
c Decision: 6239/302694	Time: 389.379/86400
c Decision: 6239/302694	Time: 402.285/86400
c Decision: 6239/302694	Time: 412.788/86400
c Decision: 6239/302694	Time: 423.575/86400
c Decision: 6242/302694	Time: 438.972/86400
c Decision: 6242/302694	Time: 445.405/86400
c Decision: 6242/302694	Time: 462.028/86400
c Decision: 6246/302694	Time: 477.364/86400
c Decision: 6246/302694	Time: 487.302/86400
c Decision: 6246/302694	Time: 499.255/86400
c Decision: 6246/302694	Time: 513.06/86400
c Decision: 6246/302694	Time: 522.73/86400
c Decision: 6249/302694	Time: 537.782/86400
c Decision: 6249/302694	Time: 549.332/86400
c Decision: 6252/302694	Time: 571.007/86400
c Decision: 6252/302694	Time: 581.041/86400
c Decision: 6259/302694	Time: 594.485/86400
c Decision: 6259/302694	Time: 601.36/86400
c Decision: 6259/302694	Time: 611.895/86400
c Decision: 6263/302694	Time: 638.727/86400
c Decision: 6263/302694	Time: 651.037/86400
c Decision: 6269/302694	Time: 667.75/86400
c Decision: 6269/302694	Time: 678.814/86400
c Decision: 6269/302694	Time: 686.956/86400
c Decision: 6269/302694	Time: 697.106/86400
c Decision: 6269/302694	Time: 710.93/86400
c Decision: 6269/302694	Time: 721.413/86400
c Decision: 6269/302694	Time: 730.16/86400
c Decision: 6269/302694	Time: 738.77/86400
c Decision: 6269/302694	Time: 752.718/86400
c Decision: 6269/302694	Time: 760.299/86400
c Decision: 6269/302694	Time: 766.501/86400
c Decision: 6269/302694	Time: 774.935/86400
c Decision: 6269/302694	Time: 786.483/86400
c Decision: 6269/302694	Time: 797.17/86400
c Decision: 6269/302694	Time: 808.588/86400
c Decision: 6269/302694	Time: 816.355/86400
c Decision: 6269/302694	Time: 824.462/86400
c Decision: 6269/302694	Time: 833.493/86400
c Decision: 6269/302694	Time: 842.049/86400
c Decision: 6269/302694	Time: 851.627/86400
c Decision: 6269/302694	Time: 861.575/86400
c Decision: 6269/302694	Time: 872.034/86400
c Decision: 6269/302694	Time: 881.44/86400
c Decision: 6269/302694	Time: 889.272/86400
c Decision: 6269/302694	Time: 898.873/86400
c Decision: 6269/302694	Time: 907.91/86400
c Decision: 6269/302694	Time: 914.551/86400
c Decision: 6269/302694	Time: 924.931/86400
c Decision: 6269/302694	Time: 936.112/86400
c Decision: 6269/302694	Time: 945.342/86400
c Decision: 6269/302694	Time: 951.998/86400
c Decision: 6269/302694	Time: 960.51/86400
c Decision: 6269/302694	Time: 967.569/86400
c Decision: 6269/302694	Time: 976.367/86400
c Decision: 6269/302694	Time: 985.459/86400
c Decision: 6273/302694	Time: 996.426/86400
c Decision: 6273/302694	Time: 1006.61/86400
c Decision: 6273/302694	Time: 1014.35/86400
c Decision: 6273/302694	Time: 1021.99/86400
c Decision: 6273/302694	Time: 1030.25/86400
c Decision: 6273/302694	Time: 1038.32/86400
c Decision: 6273/302694	Time: 1047.24/86400
c Decision: 6273/302694	Time: 1056.1/86400
c Decision: 6273/302694	Time: 1064.13/86400
c Decision: 6273/302694	Time: 1072.3/86400
c Decision: 6273/302694	Time: 1080.76/86400
c Decision: 6276/302694	Time: 1093.69/86400
c Decision: 6276/302694	Time: 1102.47/86400
c Decision: 6276/302694	Time: 1110.29/86400
c Decision: 6276/302694	Time: 1122.48/86400
c Decision: 6276/302694	Time: 1133.16/86400
c Decision: 6279/302694	Time: 1146.02/86400
c Decision: 6279/302694	Time: 1157.76/86400
c Decision: 6279/302694	Time: 1170.47/86400
c Decision: 6279/302694	Time: 1181.03/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.91 0.97 0.92 2/55 17141
Raw data (stat): 17141 (runsolver) R 17140 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912855928 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+9.99997 s]
Raw data (loadavg): 0.93 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 27154 0 0 0 935 63 0 0 25 0 1 0 912855928 77352960 16230 4294967295 134512640 135730672 3221224576 3221206616 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18885 16230 301 301 0 18584 0
vsize: 75540
[startup+20.0089 s]
Raw data (loadavg): 0.94 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 45350 0 0 0 1899 99 0 0 25 0 1 0 912855928 133865472 23014 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32682 23014 301 301 0 32381 0
vsize: 130728
[startup+30.0096 s]
Raw data (loadavg): 0.95 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 46341 0 0 0 2896 103 0 0 25 0 1 0 912855928 138162176 24005 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33731 24005 301 301 0 33430 0
vsize: 134924
[startup+40.0104 s]
Raw data (loadavg): 0.95 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 46820 0 0 0 3894 105 0 0 25 0 1 0 912855928 140460032 24484 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34292 24484 301 301 0 33991 0
vsize: 137168
[startup+50.0112 s]
Raw data (loadavg): 0.96 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 47119 0 0 0 4892 107 0 0 25 0 1 0 912855928 141885440 24783 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34640 24783 301 301 0 34339 0
vsize: 138560
[startup+60.0109 s]
Raw data (loadavg): 0.97 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 47291 0 0 0 5891 108 0 0 25 0 1 0 912855928 142868480 24955 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34880 24955 301 301 0 34579 0
vsize: 139520
[startup+70.0117 s]
Raw data (loadavg): 0.97 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 47438 0 0 0 6890 110 0 0 25 0 1 0 912855928 143523840 25102 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35040 25102 301 301 0 34739 0
vsize: 140160
[startup+80.0116 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 47544 0 0 0 7889 111 0 0 25 0 1 0 912855928 144048128 25208 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35168 25208 301 301 0 34867 0
vsize: 140672
[startup+90.0123 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 47580 0 0 0 8888 112 0 0 25 0 1 0 912855928 144211968 25244 4294967295 134512640 135730672 3221224576 3221222824 135284776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35208 25244 301 301 0 34907 0
vsize: 140832
[startup+100.012 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 47624 0 0 0 9887 113 0 0 25 0 1 0 912855928 144375808 25288 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35248 25288 301 301 0 34947 0
vsize: 140992
[startup+110.012 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 47670 0 0 0 10887 114 0 0 25 0 1 0 912855928 144539648 25334 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35288 25334 301 301 0 34987 0
vsize: 141152
[startup+120.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 47774 0 0 0 11886 115 0 0 25 0 1 0 912855928 145031168 25438 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35408 25438 301 301 0 35107 0
vsize: 141632
[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 47864 0 0 0 12885 116 0 0 25 0 1 0 912855928 145391616 25528 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35496 25528 301 301 0 35195 0
vsize: 141984
[startup+140.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 47882 0 0 0 13884 117 0 0 25 0 1 0 912855928 145588224 25546 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35544 25546 301 301 0 35243 0
vsize: 142176
[startup+150.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 47922 0 0 0 14883 118 0 0 25 0 1 0 912855928 145752064 25586 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35584 25586 301 301 0 35283 0
vsize: 142336
[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 47929 0 0 0 15883 119 0 0 25 0 1 0 912855928 145752064 25593 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35584 25593 301 301 0 35283 0
vsize: 142336
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 47942 0 0 0 16882 119 0 0 25 0 1 0 912855928 145752064 25606 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35584 25606 301 301 0 35283 0
vsize: 142336
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 47953 0 0 0 17881 120 0 0 25 0 1 0 912855928 145752064 25617 4294967295 134512640 135730672 3221224576 3221223200 134748104 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35584 25617 301 301 0 35283 0
vsize: 142336
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 47970 0 0 0 18881 121 0 0 25 0 1 0 912855928 145752064 25634 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35584 25634 301 301 0 35283 0
vsize: 142336
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 47977 0 0 0 19880 122 0 0 25 0 1 0 912855928 145752064 25641 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35584 25641 301 301 0 35283 0
vsize: 142336
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 48591 0 0 0 20878 125 0 0 25 0 1 0 912855928 145752064 25663 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35584 25663 301 301 0 35283 0
vsize: 142336
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 48599 0 0 0 21876 125 0 0 25 0 1 0 912855928 145752064 25671 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35584 25671 301 301 0 35283 0
vsize: 142336
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 48628 0 0 0 22876 126 0 0 25 0 1 0 912855928 145948672 25700 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35632 25700 301 301 0 35331 0
vsize: 142528
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 48644 0 0 0 23875 127 0 0 25 0 1 0 912855928 145948672 25716 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35632 25716 301 301 0 35331 0
vsize: 142528
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 49250 0 0 0 24873 130 0 0 25 0 1 0 912855928 145948672 25730 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35632 25730 301 301 0 35331 0
vsize: 142528
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 49294 0 0 0 25872 131 0 0 25 0 1 0 912855928 146276352 25774 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35712 25774 301 301 0 35411 0
vsize: 142848
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 49316 0 0 0 26871 132 0 0 25 0 1 0 912855928 146276352 25796 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35712 25796 301 301 0 35411 0
vsize: 142848
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 49360 0 0 0 27870 133 0 0 25 0 1 0 912855928 146440192 25840 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35752 25840 301 301 0 35451 0
vsize: 143008
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 49422 0 0 0 28870 133 0 0 25 0 1 0 912855928 146833408 25902 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35848 25902 301 301 0 35547 0
vsize: 143392
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 49433 0 0 0 29869 134 0 0 25 0 1 0 912855928 146833408 25913 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35848 25913 301 301 0 35547 0
vsize: 143392
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 49469 0 0 0 30868 135 0 0 25 0 1 0 912855928 147030016 25949 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35896 25949 301 301 0 35595 0
vsize: 143584
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 49496 0 0 0 31868 135 0 0 25 0 1 0 912855928 147030016 25976 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35896 25976 301 301 0 35595 0
vsize: 143584
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 49502 0 0 0 32867 136 0 0 25 0 1 0 912855928 147030016 25982 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35896 25982 301 301 0 35595 0
vsize: 143584
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 49515 0 0 0 33866 137 0 0 25 0 1 0 912855928 147030016 25995 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35896 25995 301 301 0 35595 0
vsize: 143584
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 49534 0 0 0 34865 138 0 0 25 0 1 0 912855928 147226624 26014 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35944 26014 301 301 0 35643 0
vsize: 143776
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 50155 0 0 0 35864 140 0 0 25 0 1 0 912855928 147226624 26043 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35944 26043 301 301 0 35643 0
vsize: 143776
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 50757 0 0 0 36861 143 0 0 25 0 1 0 912855928 147226624 26053 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35944 26053 301 301 0 35643 0
vsize: 143776
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 51379 0 0 0 37858 146 0 0 25 0 1 0 912855928 147423232 26083 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35992 26083 301 301 0 35691 0
vsize: 143968
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 51416 0 0 0 38858 147 0 0 25 0 1 0 912855928 147619840 26120 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36040 26120 301 301 0 35739 0
vsize: 144160
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 52024 0 0 0 39856 149 0 0 25 0 1 0 912855928 147619840 26136 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36040 26136 301 301 0 35739 0
vsize: 144160
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 52626 0 0 0 40854 151 0 0 25 0 1 0 912855928 147619840 26146 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36040 26146 301 301 0 35739 0
vsize: 144160
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 53230 0 0 0 41851 153 0 0 25 0 1 0 912855928 147619840 26158 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36040 26158 301 301 0 35739 0
vsize: 144160
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 53832 0 0 0 42849 156 0 0 25 0 1 0 912855928 147619840 26168 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36040 26168 301 301 0 35739 0
vsize: 144160
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 54435 0 0 0 43847 158 0 0 25 0 1 0 912855928 147619840 26179 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36040 26179 301 301 0 35739 0
vsize: 144160
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 54449 0 0 0 44845 160 0 0 25 0 1 0 912855928 147619840 26193 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36040 26193 301 301 0 35739 0
vsize: 144160
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 55649 0 0 0 45842 163 0 0 25 0 1 0 912855928 147619840 26209 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36040 26209 301 301 0 35739 0
vsize: 144160
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 55657 0 0 0 46841 164 0 0 25 0 1 0 912855928 147619840 26217 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36040 26217 301 301 0 35739 0
vsize: 144160
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 56261 0 0 0 47839 167 0 0 25 0 1 0 912855928 147619840 26229 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36040 26229 301 301 0 35739 0
vsize: 144160
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 56313 0 0 0 48838 168 0 0 25 0 1 0 912855928 147816448 26281 4294967295 134512640 135730672 3221224576 3221223088 134746399 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36088 26281 301 301 0 35787 0
vsize: 144352
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 56919 0 0 0 49836 170 0 0 25 0 1 0 912855928 147816448 26295 4294967295 134512640 135730672 3221224576 3221223088 134745882 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36088 26295 301 301 0 35787 0
vsize: 144352
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 57520 0 0 0 50834 172 0 0 25 0 1 0 912855928 164593664 26304 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40184 26304 301 301 0 39883 0
vsize: 160736
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 58125 0 0 0 51831 175 0 0 25 0 1 0 912855928 164790272 26317 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40232 26317 301 301 0 39931 0
vsize: 160928
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 58738 0 0 0 52829 177 0 0 25 0 1 0 912855928 164790272 26338 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40232 26338 301 301 0 39931 0
vsize: 160928
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 59342 0 0 0 53827 180 0 0 25 0 1 0 912855928 164790272 26350 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40232 26350 301 301 0 39931 0
vsize: 160928
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 59372 0 0 0 54826 181 0 0 25 0 1 0 912855928 164986880 26380 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40280 26380 301 301 0 39979 0
vsize: 161120
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 59977 0 0 0 55823 184 0 0 25 0 1 0 912855928 164986880 26393 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40280 26393 301 301 0 39979 0
vsize: 161120
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 60576 0 0 0 56821 186 0 0 25 0 1 0 912855928 164986880 26400 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40280 26400 301 301 0 39979 0
vsize: 161120
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 60596 0 0 0 57820 187 0 0 25 0 1 0 912855928 164986880 26420 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40280 26420 301 301 0 39979 0
vsize: 161120
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 61195 0 0 0 58818 190 0 0 25 0 1 0 912855928 164986880 26427 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40280 26427 301 301 0 39979 0
vsize: 161120
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 61805 0 0 0 59815 193 0 0 25 0 1 0 912855928 164986880 26445 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40280 26445 301 301 0 39979 0
vsize: 161120
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 62414 0 0 0 60813 195 0 0 25 0 1 0 912855928 164986880 26462 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40280 26462 301 301 0 39979 0
vsize: 161120
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 63019 0 0 0 61811 198 0 0 25 0 1 0 912855928 164986880 26475 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40280 26475 301 301 0 39979 0
vsize: 161120
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 63620 0 0 0 62808 201 0 0 25 0 1 0 912855928 164986880 26484 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40280 26484 301 301 0 39979 0
vsize: 161120
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 63624 0 0 0 63807 202 0 0 25 0 1 0 912855928 164986880 26488 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40280 26488 301 301 0 39979 0
vsize: 161120
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 63647 0 0 0 64806 203 0 0 25 0 1 0 912855928 164986880 26511 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40280 26511 301 301 0 39979 0
vsize: 161120
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 64242 0 0 0 65804 205 0 0 25 0 1 0 912855928 164986880 26514 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40280 26514 301 301 0 39979 0
vsize: 161120
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 64842 0 0 0 66801 208 0 0 25 0 1 0 912855928 164986880 26522 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40280 26522 301 301 0 39979 0
vsize: 161120
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 64860 0 0 0 67800 209 0 0 25 0 1 0 912855928 165183488 26540 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40328 26540 301 301 0 40027 0
vsize: 161312
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 65461 0 0 0 68798 212 0 0 25 0 1 0 912855928 165183488 26549 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40328 26549 301 301 0 40027 0
vsize: 161312
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 66657 0 0 0 69794 215 0 0 25 0 1 0 912855928 167608320 27153 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40920 27153 301 301 0 40619 0
vsize: 163680
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 67258 0 0 0 70791 219 0 0 25 0 1 0 912855928 165183488 26570 4294967295 134512640 135730672 3221224576 3221223196 134783158 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40328 26570 301 301 0 40027 0
vsize: 161312
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 67264 0 0 0 71791 219 0 0 25 0 1 0 912855928 165183488 26576 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40328 26576 301 301 0 40027 0
vsize: 161312
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 67956 0 0 0 72788 222 0 0 25 0 1 0 912855928 165515264 26676 4294967295 134512640 135730672 3221224576 3221223072 134747885 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40409 26676 301 301 0 40108 0
vsize: 161636
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 68573 0 0 0 73786 224 0 0 25 0 1 0 912855928 165711872 26701 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40457 26701 301 301 0 40156 0
vsize: 161828
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 69180 0 0 0 74784 227 0 0 25 0 1 0 912855928 165711872 26716 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40457 26716 301 301 0 40156 0
vsize: 161828
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 69791 0 0 0 75782 229 0 0 25 0 1 0 912855928 165711872 26735 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40457 26735 301 301 0 40156 0
vsize: 161828
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 70414 0 0 0 76780 231 0 0 25 0 1 0 912855928 165908480 26766 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40505 26766 301 301 0 40204 0
vsize: 162020
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 71631 0 0 0 77777 234 0 0 25 0 1 0 912855928 168333312 27391 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41097 27391 301 301 0 40796 0
vsize: 164388
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 72236 0 0 0 78775 237 0 0 25 0 1 0 912855928 165908480 26812 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40505 26812 301 301 0 40204 0
vsize: 162020
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 72838 0 0 0 79772 239 0 0 25 0 1 0 912855928 168333312 27414 4294967295 134512640 135730672 3221224576 3221222848 134774514 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41097 27414 301 301 0 40796 0
vsize: 164388
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 73441 0 0 0 80769 242 0 0 25 0 1 0 912855928 165908480 26833 4294967295 134512640 135730672 3221224576 3221223200 134783066 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40505 26833 301 301 0 40204 0
vsize: 162020
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 73454 0 0 0 81769 243 0 0 25 0 1 0 912855928 165908480 26846 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40505 26846 301 301 0 40204 0
vsize: 162020
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 74679 0 0 0 82765 247 0 0 25 0 1 0 912855928 166105088 26887 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40553 26887 301 301 0 40252 0
vsize: 162212
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 75297 0 0 0 83763 249 0 0 25 0 1 0 912855928 166105088 26913 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40553 26913 301 301 0 40252 0
vsize: 162212
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 75936 0 0 0 84761 251 0 0 25 0 1 0 912855928 166301696 26960 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40601 26960 301 301 0 40300 0
vsize: 162404
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 76535 0 0 0 85759 254 0 0 25 0 1 0 912855928 166301696 26967 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40601 26967 301 301 0 40300 0
vsize: 162404
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 77149 0 0 0 86756 256 0 0 25 0 1 0 912855928 166498304 26989 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40649 26989 301 301 0 40348 0
vsize: 162596
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 77765 0 0 0 87754 259 0 0 25 0 1 0 912855928 166498304 27013 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40649 27013 301 301 0 40348 0
vsize: 162596
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 78378 0 0 0 88751 262 0 0 25 0 1 0 912855928 166498304 27034 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40649 27034 301 301 0 40348 0
vsize: 162596
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 78998 0 0 0 89749 264 0 0 25 0 1 0 912855928 166694912 27062 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40697 27062 301 301 0 40396 0
vsize: 162788
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 79608 0 0 0 90747 267 0 0 25 0 1 0 912855928 166694912 27080 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40697 27080 301 301 0 40396 0
vsize: 162788
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 80226 0 0 0 91744 269 0 0 25 0 1 0 912855928 166694912 27106 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40697 27106 301 301 0 40396 0
vsize: 162788
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 81428 0 0 0 92740 273 0 0 25 0 1 0 912855928 166694912 27124 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40697 27124 301 301 0 40396 0
vsize: 162788
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 82029 0 0 0 93738 276 0 0 25 0 1 0 912855928 166694912 27133 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40697 27133 301 301 0 40396 0
vsize: 162788
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 82642 0 0 0 94736 278 0 0 25 0 1 0 912855928 166891520 27154 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40745 27154 301 301 0 40444 0
vsize: 162980
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 82653 0 0 0 95735 279 0 0 25 0 1 0 912855928 166891520 27165 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40745 27165 301 301 0 40444 0
vsize: 162980
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 83264 0 0 0 96733 281 0 0 25 0 1 0 912855928 166891520 27184 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40745 27184 301 301 0 40444 0
vsize: 162980
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 83872 0 0 0 97730 284 0 0 25 0 1 0 912855928 166891520 27200 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40745 27200 301 301 0 40444 0
vsize: 162980
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 85067 0 0 0 98726 288 0 0 25 0 1 0 912855928 166891520 27211 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40745 27211 301 301 0 40444 0
vsize: 162980
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 85674 0 0 0 99725 290 0 0 25 0 1 0 912855928 166891520 27226 4294967295 134512640 135730672 3221224576 3221222896 134732462 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40745 27226 301 301 0 40444 0
vsize: 162980
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 86293 0 0 0 100722 292 0 0 25 0 1 0 912855928 166891520 27253 4294967295 134512640 135730672 3221224576 3221223200 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40745 27253 301 301 0 40444 0
vsize: 162980
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 86906 0 0 0 101720 295 0 0 25 0 1 0 912855928 169316352 27866 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41337 27866 301 301 0 41036 0
vsize: 165348
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 87512 0 0 0 102717 298 0 0 25 0 1 0 912855928 166891520 27288 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40745 27288 301 301 0 40444 0
vsize: 162980
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 88145 0 0 0 103715 300 0 0 25 0 1 0 912855928 167088128 27329 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40793 27329 301 301 0 40492 0
vsize: 163172
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 88750 0 0 0 104713 303 0 0 25 0 1 0 912855928 167088128 27342 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40793 27342 301 301 0 40492 0
vsize: 163172
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 89359 0 0 0 105711 305 0 0 25 0 1 0 912855928 167088128 27359 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40793 27359 301 301 0 40492 0
vsize: 163172
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 90556 0 0 0 106707 308 0 0 25 0 1 0 912855928 167088128 27372 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40793 27372 301 301 0 40492 0
vsize: 163172
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 90579 0 0 0 107707 309 0 0 25 0 1 0 912855928 167088128 27395 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40793 27395 301 301 0 40492 0
vsize: 163172
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 91186 0 0 0 108704 311 0 0 25 0 1 0 912855928 167088128 27410 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40793 27410 301 301 0 40492 0
vsize: 163172
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 91788 0 0 0 109703 313 0 0 25 0 1 0 912855928 167088128 27420 4294967295 134512640 135730672 3221224576 3221222960 135109351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40793 27420 301 301 0 40492 0
vsize: 163172
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 92393 0 0 0 110700 316 0 0 25 0 1 0 912855928 167088128 27433 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40793 27433 301 301 0 40492 0
vsize: 163172
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 93000 0 0 0 111698 319 0 0 25 0 1 0 912855928 167088128 27448 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40793 27448 301 301 0 40492 0
vsize: 163172
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 93602 0 0 0 112696 321 0 0 25 0 1 0 912855928 167088128 27458 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40793 27458 301 301 0 40492 0
vsize: 163172
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 94208 0 0 0 113693 324 0 0 25 0 1 0 912855928 167088128 27472 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40793 27472 301 301 0 40492 0
vsize: 163172
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 94808 0 0 0 114691 326 0 0 25 0 1 0 912855928 167088128 27480 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40793 27480 301 301 0 40492 0
vsize: 163172
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 95411 0 0 0 115688 329 0 0 25 0 1 0 912855928 167088128 27491 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40793 27491 301 301 0 40492 0
vsize: 163172
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 95423 0 0 0 116686 331 0 0 25 0 1 0 912855928 167088128 27503 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40793 27503 301 301 0 40492 0
vsize: 163172
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 96025 0 0 0 117684 333 0 0 25 0 1 0 912855928 167088128 27513 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40793 27513 301 301 0 40492 0
vsize: 163172
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 96625 0 0 0 118682 335 0 0 25 0 1 0 912855928 167088128 27521 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40793 27521 301 301 0 40492 0
vsize: 163172
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 17141
Raw data (stat): 17141 (pb2sat-v2) R 17140 8378 8377 0 -1 0 97262 0 0 0 119680 337 0 0 25 0 1 0 912855928 167284736 27566 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40841 27566 301 301 0 40540 0
vsize: 163364
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.79 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 17141
Raw data (stat): 17141 (pb2sat-v2) Z 17140 8378 8377 0 -1 12 97264 0 0 0 119750 343 0 0 25 0 1 0 912855928 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 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.79
CPU time (s): 1200.95
CPU user time (s): 1197.51
CPU system time (s): 3.43648
CPU usage (%): 100.013
Max. virtual memory (Kb): 165348
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####