PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-opt1217.opb
MD5SUM	697fa5beb3d240bccfa43a29ef9b4fb8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-2048
Optimality of the best value was proved	NO
Number of terms in the objective function	16
Biggest coefficient in the objective function	32768
Number of bits for the biggest coefficient in the objective function	16
Sum of the numbers in the objective function	65535
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	49152
Number of bits of the biggest number in a constraint	16
Biggest sum of numbers in a constraint	114687
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.03
Number of variables	784
Total number of constraints	833
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	816
Number of constraints which are nor clauses,nor cardinality constraints	17
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 42859

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 16:41:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26075 boxname=wulflinc4 idbench=1375 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  697fa5beb3d240bccfa43a29ef9b4fb8  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-opt1217.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-opt1217.opb
IDLAUNCH: 26075
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        921960 kB
Buffers:           628 kB
Cached:          90472 kB
SwapCached:        904 kB
Active:          24188 kB
Inactive:        68940 kB
HighTotal:      131008 kB
HighFree:        95340 kB
LowTotal:       903652 kB
LowFree:        826620 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13788 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 17:01:13 (client local time) WITH STATUS 10 IN 1200.32 SECONDS
stats: 26075 0 1200.32 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 64927
c small objective detected
c CONFLICT during preprocess 
c [startup+13.406 s]  setting bit 15 to 0
c CONFLICT during preprocess 
c [startup+13.5073 s]  setting bit 14 to 0

c Decision: 2398/30568	Time: 54.1998/86400
c Decision: 2398/30568	Time: 58.3501/86400
c Decision: 2398/30568	Time: 62.8035/86400
c Decision: 2398/30568	Time: 67.8627/86400
c Decision: 2398/30568	Time: 71.9151/86400
c Decision: 2398/30568	Time: 77.5062/86400
c Decision: 2398/30568	Time: 82.7464/86400
c Decision: 2398/30568	Time: 87.1587/86400
c Decision: 2398/30568	Time: 92.049/86400
c Decision: 2398/30568	Time: 96.9113/86400
c Decision: 2398/30568	Time: 102.808/86400
c Decision: 2398/30568	Time: 107.674/86400
c Decision: 2398/30568	Time: 113.714/86400
c Decision: 2398/30568	Time: 119.048/86400
c Decision: 2398/30568	Time: 127.152/86400
c Decision: 2398/30568	Time: 131.323/86400
c Decision: 2398/30568	Time: 136.65/86400
c Decision: 2398/30568	Time: 143.429/86400
c Decision: 2398/30568	Time: 148.176/86400
c Decision: 2398/30568	Time: 153.681/86400
c Decision: 2398/30568	Time: 159.972/86400
c Decision: 2398/30568	Time: 166.699/86400
c Decision: 2398/30568	Time: 172.022/86400
c Decision: 2398/30568	Time: 177.684/86400
c Decision: 2398/30568	Time: 183.641/86400
c Decision: 2398/30568	Time: 190.422/86400
c Decision: 2398/30568	Time: 195.553/86400
c Decision: 2398/30568	Time: 201.463/86400
c Decision: 2398/30568	Time: 206.152/86400
c Decision: 2398/30568	Time: 212.47/86400
c Decision: 2398/30568	Time: 219.976/86400
c Decision: 2398/30568	Time: 225.532/86400
c Decision: 2398/30568	Time: 232.291/86400
c Decision: 2398/30568	Time: 236.624/86400
c Decision: 2398/30568	Time: 243.804/86400
c Decision: 2398/30568	Time: 249.917/86400
c Decision: 2398/30568	Time: 255.682/86400
c Decision: 2398/30568	Time: 260.546/86400
c Decision: 2398/30568	Time: 265.624/86400
c Decision: 2398/30568	Time: 271.438/86400
c Decision: 2398/30568	Time: 275.943/86400
c Decision: 2398/30568	Time: 279.608/86400
c Decision: 2398/30568	Time: 286.452/86400
c Decision: 2398/30568	Time: 291.534/86400
c Decision: 2398/30568	Time: 298.286/86400
c Decision: 2398/30568	Time: 304.394/86400
c Decision: 2398/30568	Time: 308.734/86400
c Decision: 2398/30568	Time: 314.935/86400
c Decision: 2398/30568	Time: 319.75/86400
c Decision: 2398/30568	Time: 324.858/86400
c Decision: 2398/30568	Time: 330.227/86400
c Decision: 2398/30568	Time: 334.801/86400
c Decision: 2398/30568	Time: 339.66/86400
c Decision: 2398/30568	Time: 347.322/86400
c Decision: 2398/30568	Time: 353.495/86400
c Decision: 2398/30568	Time: 359.388/86400
c Decision: 2398/30568	Time: 366.384/86400
c Decision: 2398/30568	Time: 371.792/86400
c Decision: 2398/30568	Time: 379.26/86400
c Decision: 2398/30568	Time: 383.668/86400
c Decision: 2398/30568	Time: 391.323/86400
c Decision: 2398/30568	Time: 395.917/86400
c Decision: 2398/30568	Time: 401.084/86400
c Decision: 2398/30568	Time: 405.197/86400
c Decision: 2398/30568	Time: 410.336/86400
c Decision: 2398/30568	Time: 416.278/86400
c Decision: 2398/30568	Time: 424.055/86400
c Decision: 2398/30568	Time: 429.416/86400
c Decision: 2398/30568	Time: 436.53/86400
c Decision: 2398/30568	Time: 443.033/86400
c Decision: 2398/30568	Time: 449.341/86400
c Decision: 2398/30568	Time: 454.797/86400
c Decision: 2398/30568	Time: 460.956/86400
c Decision: 2398/30568	Time: 467.002/86400
c Decision: 2398/30568	Time: 472.656/86400
c Decision: 2398/30568	Time: 478.948/86400
c Decision: 2398/30568	Time: 485.526/86400
c Decision: 2398/30568	Time: 490.639/86400
c Decision: 2398/30568	Time: 496.336/86400
c Decision: 2398/30568	Time: 501.733/86400
c Decision: 2398/30568	Time: 507.123/86400
c Decision: 2398/30568	Time: 513.425/86400
c Decision: 2398/30568	Time: 518.525/86400
c Decision: 2398/30568	Time: 524.623/86400
c Decision: 2398/30568	Time: 530.039/86400
c Decision: 2398/30568	Time: 536.362/86400
c Decision: 2398/30568	Time: 543.311/86400
c Decision: 2398/30568	Time: 547.379/86400
c Decision: 2398/30568	Time: 554.968/86400
c Decision: 2398/30568	Time: 560.774/86400
c Decision: 2398/30568	Time: 567.212/86400
c Decision: 2398/30568	Time: 571.742/86400
c Decision: 2398/30568	Time: 577.992/86400
c Decision: 2398/30568	Time: 583.192/86400
c Decision: 2398/30568	Time: 587.385/86400
c Decision: 2398/30568	Time: 594.523/86400
c Decision: 2398/30568	Time: 600.99/86400
c Decision: 2398/30568	Time: 605.562/86400
c Decision: 2398/30568	Time: 610.959/86400
c Decision: 2398/30568	Time: 619.066/86400
c Decision: 2398/30568	Time: 625.837/86400
c Decision: 2398/30568	Time: 630.591/86400
c Decision: 2398/30568	Time: 635.902/86400
c Decision: 2398/30568	Time: 642.508/86400
c Decision: 2398/30568	Time: 649.331/86400
c Decision: 2398/30568	Time: 655.633/86400
c Decision: 2398/30568	Time: 662.344/86400
c Decision: 2398/30568	Time: 669.196/86400
c Decision: 2398/30568	Time: 675.493/86400
c Decision: 2398/30568	Time: 682.448/86400
c Decision: 2398/30568	Time: 691.323/86400
c Decision: 2398/30568	Time: 696.924/86400
c Decision: 2398/30568	Time: 704.677/86400
c Decision: 2398/30568	Time: 711.984/86400
c Decision: 2398/30568	Time: 718.047/86400
c Decision: 2398/30568	Time: 723.308/86400
c Decision: 2398/30568	Time: 727.895/86400
c Decision: 2398/30568	Time: 734.489/86400
c Decision: 2398/30568	Time: 740.759/86400
c Decision: 2398/30568	Time: 747.82/86400
c Decision: 2398/30568	Time: 752.808/86400
c Decision: 2398/30568	Time: 757.848/86400
c Decision: 2398/30568	Time: 762.475/86400
c Decision: 2398/30568	Time: 767.601/86400
c Decision: 2398/30568	Time: 775/86400
c Decision: 2398/30568	Time: 781.282/86400
c Decision: 2398/30568	Time: 787.628/86400
c Decision: 2398/30568	Time: 794.45/86400
c Decision: 2398/30568	Time: 799.321/86400
c Decision: 2398/30568	Time: 805.335/86400
c Decision: 2398/30568	Time: 811.342/86400
c Decision: 2398/30568	Time: 817.908/86400
c Decision: 2398/30568	Time: 825.323/86400
c Decision: 2398/30568	Time: 831.747/86400
c Decision: 2398/30568	Time: 837.942/86400
c Decision: 2398/30568	Time: 843.253/86400
c Decision: 2398/30568	Time: 849.216/86400
c Decision: 2398/30568	Time: 854.58/86400
c Decision: 2398/30568	Time: 862.362/86400
c Decision: 2398/30568	Time: 869.606/86400
c Decision: 2398/30568	Time: 875.284/86400
c Decision: 2398/30568	Time: 881.29/86400
c Decision: 2398/30568	Time: 888.338/86400
c Decision: 2398/30568	Time: 895.802/86400
c Decision: 2398/30568	Time: 901.168/86400
c Decision: 2398/30568	Time: 908.415/86400
c Decision: 2398/30568	Time: 913.474/86400
c Decision: 2398/30568	Time: 920.104/86400
c Decision: 2398/30568	Time: 928.755/86400
c Decision: 2398/30568	Time: 936.317/86400
c Decision: 2398/30568	Time: 946.063/86400
c Decision: 2398/30568	Time: 953.548/86400
c Decision: 2398/30568	Time: 959.147/86400
c Decision: 2398/30568	Time: 964.595/86400
c Decision: 2398/30568	Time: 970.776/86400
c Decision: 2398/30568	Time: 980.162/86400
c Decision: 2398/30568	Time: 985.668/86400
c Decision: 2398/30568	Time: 990.765/86400
c Decision: 2398/30568	Time: 997.417/86400
c Decision: 2398/30568	Time: 1005.15/86400
c Decision: 2398/30568	Time: 1012.86/86400
c Decision: 2398/30568	Time: 1020.15/86400
c Decision: 2398/30568	Time: 1027/86400
c Decision: 2398/30568	Time: 1034.37/86400
c Decision: 2398/30568	Time: 1040.4/86400
c Decision: 2398/30568	Time: 1046.61/86400
c Decision: 2398/30568	Time: 1053.96/86400
c Decision: 2398/30568	Time: 1061.61/86400
c Decision: 2398/30568	Time: 1066.73/86400
c Decision: 2398/30568	Time: 1073.35/86400
c Decision: 2398/30568	Time: 1079.4/86400
c Decision: 2398/30568	Time: 1084.47/86400
c Decision: 2398/30568	Time: 1092.15/86400
c Decision: 2398/30568	Time: 1098.32/86400
c Decision: 2398/30568	Time: 1106.99/86400
c Decision: 2398/30568	Time: 1115/86400
c Decision: 2398/30568	Time: 1120.66/86400
c Decision: 2398/30568	Time: 1127.09/86400
c Decision: 2398/30568	Time: 1134.4/86400
c Decision: 2398/30568	Time: 1140.96/86400
c Decision: 2398/30568	Time: 1147.65/86400
c Decision: 2398/30568	Time: 1154.31/86400
c Decision: 2398/30568	Time: 1160.78/86400
c Decision: 2398/30568	Time: 1169.75/86400
c Decision: 2398/30568	Time: 1175.35/86400
c Decision: 2398/30568	Time: 1183.15/86400s SATISFIABLE
v -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x108_bit0 -x109_bit0 -x10_bit0 -x110_bit0 -x111_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x118_bit0 -x119_bit0 -x11_bit0 -x120_bit0 -x121_bit0 -x122_bit0 x123_bit0 -x124_bit0 -x125_bit0 -x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 -x12_bit0 x130_bit0 -x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x138_bit0 x139_bit0 -x13_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x146_bit0 -x147_bit0 x148_bit0 -x149_bit0 -x14_bit0 -x150_bit0 -x151_bit0 -x152_bit0 -x153_bit0 x154_bit0 -x155_bit0 x156_bit0 -x157_bit0 -x158_bit0 -x159_bit0 -x15_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 -x164_bit0 -x165_bit0 -x166_bit0 -x167_bit0 -x168_bit0 -x169_bit0 -x16_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x179_bit0 -x17_bit0 -x180_bit0 -x181_bit0 -x182_bit0 -x183_bit0 -x184_bit0 x185_bit0 -x186_bit0 -x187_bit0 -x188_bit0 -x189_bit0 -x18_bit0 -x190_bit0 -x191_bit0 -x192_bit0 -x193_bit0 -x194_bit0 -x195_bit0 -x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 -x19_bit0 -x1_bit0 -x1_bit1 x1_bit2 -x1_bit3 -x1_bit4 -x1_bit5 -x1_bit6 -x1_bit7 -x1_bit8 x1_bit_1 x1_bit_2 -x1_bit_3 -x1_bit_4 -x1_bit_5 -x1_bit_6 -x1_bit_7 -x200_bit0 -x201_bit0 -x202_bit0 -x203_bit0 -x204_bit0 -x205_bit0 -x206_bit0 -x207_bit0 -x208_bit0 -x209_bit0 -x20_bit0 -x210_bit0 -x211_bit0 -x212_bit0 x213_bit0 -x214_bit0 -x215_bit0 x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 -x21_bit0 -x220_bit0 x221_bit0 x222_bit0 -x223_bit0 x224_bit0 -x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x22_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x235_bit0 -x236_bit0 -x237_bit0 -x238_bit0 -x239_bit0 -x23_bit0 -x240_bit0 x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 -x245_bit0 x246_bit0 -x247_bit0 x248_bit0 x249_bit0 -x24_bit0 x250_bit0 -x251_bit0 -x252_bit0 -x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 -x257_bit0 -x258_bit0 -x259_bit0 -x25_bit0 -x260_bit0 -x261_bit0 -x262_bit0 -x263_bit0 -x264_bit0 -x265_bit0 -x266_bit0 -x267_bit0 -x268_bit0 -x269_bit0 x26_bit0 -x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 -x274_bit0 -x275_bit0 x276_bit0 -x277_bit0 -x278_bit0 -x279_bit0 -x27_bit0 -x280_bit0 -x281_bit0 -x282_bit0 -x283_bit0 -x284_bit0 -x285_bit0 -x286_bit0 -x287_bit0 -x288_bit0 -x289_bit0 -x28_bit0 -x290_bit0 -x291_bit0 -x292_bit0 -x293_bit0 -x294_bit0 -x295_bit0 -x296_bit0 -x297_bit0 -x298_bit0 -x299_bit0 x29_bit0 -x2_bit0 x300_bit0 -x301_bit0 -x302_bit0 -x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 -x307_bit0 -x308_bit0 -x309_bit0 -x30_bit0 -x310_bit0 -x311_bit0 -x312_bit0 -x313_bit0 -x314_bit0 -x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x31_bit0 -x320_bit0 -x321_bit0 -x322_bit0 -x323_bit0 -x324_bit0 -x325_bit0 -x326_bit0 -x327_bit0 -x328_bit0 -x329_bit0 -x32_bit0 -x330_bit0 -x331_bit0 -x332_bit0 -x333_bit0 -x334_bit0 -x335_bit0 -x336_bit0 -x337_bit0 -x338_bit0 -x339_bit0 -x33_bit0 -x340_bit0 -x341_bit0 -x342_bit0 -x343_bit0 -x344_bit0 -x345_bit0 -x346_bit0 -x347_bit0 -x348_bit0 -x349_bit0 -x34_bit0 -x350_bit0 -x351_bit0 -x352_bit0 -x353_bit0 -x354_bit0 x355_bit0 -x356_bit0 -x357_bit0 -x358_bit0 -x359_bit0 -x35_bit0 -x360_bit0 -x361_bit0 -x362_bit0 x363_bit0 -x364_bit0 -x365_bit0 -x366_bit0 -x367_bit0 -x368_bit0 -x369_bit0 x36_bit0 -x370_bit0 -x371_bit0 -x372_bit0 -x373_bit0 -x374_bit0 -x375_bit0 -x376_bit0 -x377_bit0 x378_bit0 -x379_bit0 -x37_bit0 -x380_bit0 -x381_bit0 -x382_bit0 -x383_bit0 -x384_bit0 -x385_bit0 -x386_bit0 -x387_bit0 -x388_bit0 -x389_bit0 -x38_bit0 -x390_bit0 -x391_bit0 -x392_bit0 -x393_bit0 -x394_bit0 -x395_bit0 -x396_bit0 -x397_bit0 -x398_bit0 -x399_bit0 -x39_bit0 -x3_bit0 -x400_bit0 -x401_bit0 -x402_bit0 -x403_bit0 -x404_bit0 -x405_bit0 -x406_bit0 -x407_bit0 -x408_bit0 -x409_bit0 -x40_bit0 -x410_bit0 -x411_bit0 -x412_bit0 -x413_bit0 -x414_bit0 -x415_bit0 -x416_bit0 -x417_bit0 -x418_bit0 -x419_bit0 -x41_bit0 -x420_bit0 -x421_bit0 x422_bit0 -x423_bit0 -x424_bit0 -x425_bit0 -x426_bit0 -x427_bit0 x428_bit0 -x429_bit0 -x42_bit0 -x430_bit0 x431_bit0 -x432_bit0 -x433_bit0 -x434_bit0 -x435_bit0 -x436_bit0 x437_bit0 -x438_bit0 x439_bit0 -x43_bit0 -x440_bit0 -x441_bit0 -x442_bit0 -x443_bit0 -x444_bit0 x445_bit0 -x446_bit0 x447_bit0 x448_bit0 -x449_bit0 -x44_bit0 -x450_bit0 -x451_bit0 -x452_bit0 -x453_bit0 -x454_bit0 -x455_bit0 -x456_bit0 -x457_bit0 -x458_bit0 -x459_bit0 -x45_bit0 -x460_bit0 -x461_bit0 -x462_bit0 -x463_bit0 -x464_bit0 -x465_bit0 -x466_bit0 -x467_bit0 -x468_bit0 -x469_bit0 -x46_bit0 -x470_bit0 -x471_bit0 -x472_bit0 -x473_bit0 -x474_bit0 -x475_bit0 -x476_bit0 -x477_bit0 -x478_bit0 -x479_bit0 -x47_bit0 -x480_bit0 -x481_bit0 -x482_bit0 -x483_bit0 -x484_bit0 -x485_bit0 -x486_bit0 -x487_bit0 -x488_bit0 -x489_bit0 -x48_bit0 -x490_bit0 -x491_bit0 -x492_bit0 -x493_bit0 -x494_bit0 -x495_bit0 -x496_bit0 -x497_bit0 -x498_bit0 -x499_bit0 -x49_bit0 -x4_bit0 -x500_bit0 -x501_bit0 -x502_bit0 -x503_bit0 -x504_bit0 -x505_bit0 -x506_bit0 -x507_bit0 -x508_bit0 -x509_bit0 -x50_bit0 x510_bit0 -x511_bit0 -x512_bit0 -x513_bit0 -x514_bit0 -x515_bit0 -x516_bit0 -x517_bit0 -x518_bit0 -x519_bit0 -x51_bit0 -x520_bit0 -x521_bit0 -x522_bit0 -x523_bit0 -x524_bit0 -x525_bit0 -x526_bit0 -x527_bit0 -x528_bit0 -x529_bit0 -x52_bit0 -x530_bit0 -x531_bit0 -x532_bit0 -x533_bit0 -x534_bit0 -x535_bit0 -x536_bit0 -x537_bit0 -x538_bit0 -x539_bit0 -x53_bit0 x540_bit0 -x541_bit0 -x542_bit0 -x543_bit0 -x544_bit0 -x545_bit0 -x546_bit0 -x547_bit0 -x548_bit0 -x549_bit0 x54_bit0 -x550_bit0 -x551_bit0 -x552_bit0 -x553_bit0 -x554_bit0 x555_bit0 -x556_bit0 -x557_bit0 -x558_bit0 -x559_bit0 -x55_bit0 -x560_bit0 -x561_bit0 -x562_bit0 -x563_bit0 -x564_bit0 -x565_bit0 -x566_bit0 -x567_bit0 -x568_bit0 -x569_bit0 -x56_bit0 -x570_bit0 -x571_bit0 x572_bit0 -x573_bit0 -x574_bit0 -x575_bit0 -x576_bit0 -x577_bit0 -x578_bit0 -x579_bit0 -x57_bit0 -x580_bit0 -x581_bit0 -x582_bit0 -x583_bit0 -x584_bit0 -x585_bit0 -x586_bit0 -x587_bit0 -x588_bit0 -x589_bit0 -x58_bit0 -x590_bit0 -x591_bit0 -x592_bit0 -x593_bit0 -x594_bit0 -x595_bit0 -x596_bit0 -x597_bit0 -x598_bit0 -x599_bit0 -x59_bit0 -x5_bit0 -x600_bit0 -x601_bit0 -x602_bit0 -x603_bit0 -x604_bit0 -x605_bit0 -x606_bit0 x607_bit0 -x608_bit0 x609_bit0 -x60_bit0 -x610_bit0 -x611_bit0 -x612_bit0 -x613_bit0 -x614_bit0 -x615_bit0 x616_bit0 -x617_bit0 -x618_bit0 -x619_bit0 -x61_bit0 -x620_bit0 -x621_bit0 -x622_bit0 -x623_bit0 -x624_bit0 -x625_bit0 -x626_bit0 -x627_bit0 -x628_bit0 -x629_bit0 -x62_bit0 -x630_bit0 -x631_bit0 x632_bit0 -x633_bit0 -x634_bit0 -x635_bit0 -x636_bit0 -x637_bit0 -x638_bit0 -x639_bit0 -x63_bit0 -x640_bit0 -x641_bit0 -x642_bit0 -x643_bit0 -x644_bit0 -x645_bit0 -x646_bit0 -x647_bit0 -x648_bit0 -x649_bit0 -x64_bit0 -x650_bit0 -x651_bit0 -x652_bit0 -x653_bit0 -x654_bit0 -x655_bit0 -x656_bit0 -x657_bit0 -x658_bit0 -x659_bit0 -x65_bit0 -x660_bit0 -x661_bit0 -x662_bit0 -x663_bit0 -x664_bit0 -x665_bit0 -x666_bit0 -x667_bit0 -x668_bit0 -x669_bit0 -x66_bit0 -x670_bit0 -x671_bit0 -x672_bit0 -x673_bit0 -x674_bit0 -x675_bit0 -x676_bit0 -x677_bit0 -x678_bit0 -x679_bit0 -x67_bit0 -x680_bit0 -x681_bit0 -x682_bit0 -x683_bit0 -x684_bit0 -x685_bit0 -x686_bit0 -x687_bit0 -x688_bit0 -x689_bit0 -x68_bit0 -x690_bit0 -x691_bit0 -x692_bit0 -x693_bit0 -x694_bit0 -x695_bit0 -x696_bit0 -x697_bit0 -x698_bit0 -x699_bit0 -x69_bit0 -x6_bit0 -x700_bit0 -x701_bit0 -x702_bit0 -x703_bit0 -x704_bit0 -x705_bit0 -x706_bit0 -x707_bit0 -x708_bit0 x709_bit0 -x70_bit0 -x710_bit0 -x711_bit0 -x712_bit0 -x713_bit0 -x714_bit0 -x715_bit0 -x716_bit0 -x717_bit0 -x718_bit0 -x719_bit0 -x71_bit0 -x720_bit0 -x721_bit0 -x722_bit0 -x723_bit0 -x724_bit0 -x725_bit0 -x726_bit0 -x727_bit0 -x728_bit0 -x729_bit0 -x72_bit0 -x730_bit0 -x731_bit0 -x732_bit0 -x733_bit0 x734_bit0 -x735_bit0 -x736_bit0 -x737_bit0 -x738_bit0 -x739_bit0 -x73_bit0 -x740_bit0 -x741_bit0 -x742_bit0 -x743_bit0 -x744_bit0 -x745_bit0 -x746_bit0 -x747_bit0 -x748_bit0 -x749_bit0 -x74_bit0 x750_bit0 -x751_bit0 -x752_bit0 -x753_bit0 -x754_bit0 -x755_bit0 -x756_bit0 -x757_bit0 -x758_bit0 -x759_bit0 x75_bit0 -x760_bit0 -x761_bit0 -x762_bit0 -x763_bit0 -x764_bit0 -x765_bit0 -x766_bit0 -x767_bit0 -x768_bit0 -x769_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 -x7_bit0 -x80_bit0 -x81_bit0 -x82_bit0 -x83_bit0 -x84_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x8_bit0 -x90_bit0 -x91_bit0 -x92_bit0 x93_bit0 -x94_bit0 -x95_bit0 -x96_bit0 -x97_bit0 -x98_bit0 -x99_bit0 -x9_bit0 
#### 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.91 2/54 30239
Raw data (stat): 30239 (runsolver) R 30238 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972271140 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.0004 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 4346 0 0 0 987 12 0 0 25 0 1 0 972271140 14213120 2977 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3470 2977 301 301 0 3169 0
vsize: 13880
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 4961 0 0 0 1984 14 0 0 25 0 1 0 972271140 16097280 3352 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3930 3352 301 301 0 3629 0
vsize: 15720
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 5152 0 0 0 2982 16 0 0 25 0 1 0 972271140 16625664 3543 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4059 3543 301 301 0 3758 0
vsize: 16236
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 5269 0 0 0 3982 17 0 0 25 0 1 0 972271140 19116032 3660 4294967295 134512640 135730672 3221224576 3221223012 134748064 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4667 3660 301 301 0 4366 0
vsize: 18668
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 5391 0 0 0 4981 18 0 0 25 0 1 0 972271140 19447808 3782 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4748 3782 301 301 0 4447 0
vsize: 18992
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 5460 0 0 0 5980 19 0 0 25 0 1 0 972271140 19447808 3851 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4748 3851 301 301 0 4447 0
vsize: 18992
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 5601 0 0 0 6979 20 0 0 25 0 1 0 972271140 19447808 3932 4294967295 134512640 135730672 3221224576 3221222992 134748182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4748 3932 301 301 0 4447 0
vsize: 18992
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 5763 0 0 0 7978 21 0 0 25 0 1 0 972271140 19644416 3974 4294967295 134512640 135730672 3221224576 3221222992 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4796 3974 301 301 0 4495 0
vsize: 19184
[startup+90.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 5969 0 0 0 8977 22 0 0 25 0 1 0 972271140 19779584 4060 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4829 4060 301 301 0 4528 0
vsize: 19316
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 6144 0 0 0 9976 23 0 0 25 0 1 0 972271140 19931136 4115 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4866 4115 301 301 0 4565 0
vsize: 19464
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 6339 0 0 0 10976 24 0 0 25 0 1 0 972271140 20094976 4190 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4906 4190 301 301 0 4605 0
vsize: 19624
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 7327 0 0 0 11972 28 0 0 25 0 1 0 972271140 23437312 4289 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5722 4289 301 301 0 5421 0
vsize: 22888
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 7509 0 0 0 12972 28 0 0 25 0 1 0 972271140 23830528 4351 4294967295 134512640 135730672 3221224576 3221222992 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5818 4351 301 301 0 5517 0
vsize: 23272
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 7650 0 0 0 13971 29 0 0 25 0 1 0 972271140 23830528 4432 4294967295 134512640 135730672 3221224576 3221223008 134765756 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5818 4432 301 301 0 5517 0
vsize: 23272
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 7827 0 0 0 14970 30 0 0 25 0 1 0 972271140 23961600 4489 4294967295 134512640 135730672 3221224576 3221222992 134748200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5850 4489 301 301 0 5549 0
vsize: 23400
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 7991 0 0 0 15969 31 0 0 25 0 1 0 972271140 23961600 4533 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5850 4533 301 301 0 5549 0
vsize: 23400
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 8217 0 0 0 16968 33 0 0 25 0 1 0 972271140 28483584 4639 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6954 4639 301 301 0 6653 0
vsize: 27816
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 8322 0 0 0 17967 33 0 0 25 0 1 0 972271140 28483584 4684 4294967295 134512640 135730672 3221224576 3221222864 134747474 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6954 4684 301 301 0 6653 0
vsize: 27816
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 8485 0 0 0 18967 34 0 0 25 0 1 0 972271140 28635136 4727 4294967295 134512640 135730672 3221224576 3221222864 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6991 4727 301 301 0 6690 0
vsize: 27964
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 8682 0 0 0 19966 35 0 0 25 0 1 0 972271140 28938240 4804 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7065 4804 301 301 0 6764 0
vsize: 28260
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 8840 0 0 0 20965 37 0 0 25 0 1 0 972271140 28938240 4842 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7065 4842 301 301 0 6764 0
vsize: 28260
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 8997 0 0 0 21964 37 0 0 25 0 1 0 972271140 29081600 4879 4294967295 134512640 135730672 3221224576 3221222608 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7100 4879 301 301 0 6799 0
vsize: 28400
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 9128 0 0 0 22964 38 0 0 25 0 1 0 972271140 29081600 4950 4294967295 134512640 135730672 3221224576 3221222864 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7100 4950 301 301 0 6799 0
vsize: 28400
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 9316 0 0 0 23963 39 0 0 25 0 1 0 972271140 29278208 5018 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7148 5018 301 301 0 6847 0
vsize: 28592
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 9425 0 0 0 24963 40 0 0 25 0 1 0 972271140 29278208 5067 4294967295 134512640 135730672 3221224576 3221222880 134746399 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7148 5067 301 301 0 6847 0
vsize: 28592
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 9622 0 0 0 25962 40 0 0 25 0 1 0 972271140 29278208 5144 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7148 5144 301 301 0 6847 0
vsize: 28592
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 9788 0 0 0 26962 41 0 0 25 0 1 0 972271140 29409280 5190 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7180 5190 301 301 0 6879 0
vsize: 28720
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 9940 0 0 0 27961 42 0 0 25 0 1 0 972271140 29564928 5222 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7218 5222 301 301 0 6917 0
vsize: 28872
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 10147 0 0 0 28960 43 0 0 25 0 1 0 972271140 29564928 5309 4294967295 134512640 135730672 3221224576 3221222864 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7218 5309 301 301 0 6917 0
vsize: 28872
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 10306 0 0 0 29959 44 0 0 25 0 1 0 972271140 29700096 5348 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7251 5348 301 301 0 6950 0
vsize: 29004
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 10470 0 0 0 30958 45 0 0 25 0 1 0 972271140 29851648 5452 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7288 5452 301 301 0 6987 0
vsize: 29152
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 10655 0 0 0 31957 47 0 0 25 0 1 0 972271140 29851648 5517 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7288 5517 301 301 0 6987 0
vsize: 29152
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 10793 0 0 0 32956 47 0 0 25 0 1 0 972271140 29851648 5535 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7288 5535 301 301 0 6987 0
vsize: 29152
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 10943 0 0 0 33955 49 0 0 25 0 1 0 972271140 29982720 5565 4294967295 134512640 135730672 3221224576 3221222992 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7320 5565 301 301 0 7019 0
vsize: 29280
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 11096 0 0 0 34955 49 0 0 25 0 1 0 972271140 30158848 5598 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7363 5598 301 301 0 7062 0
vsize: 29452
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 11202 0 0 0 35954 50 0 0 25 0 1 0 972271140 30158848 5644 4294967295 134512640 135730672 3221224576 3221223008 134748259 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7363 5644 301 301 0 7062 0
vsize: 29452
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 11409 0 0 0 36953 52 0 0 25 0 1 0 972271140 30158848 5731 4294967295 134512640 135730672 3221224576 3221222984 134748218 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7363 5731 301 301 0 7062 0
vsize: 29452
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 11574 0 0 0 37952 52 0 0 25 0 1 0 972271140 30289920 5776 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7395 5776 301 301 0 7094 0
vsize: 29580
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 11655 0 0 0 38952 52 0 0 25 0 1 0 972271140 30289920 5797 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7395 5797 301 301 0 7094 0
vsize: 29580
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 11837 0 0 0 39951 54 0 0 25 0 1 0 972271140 30425088 5859 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7428 5859 301 301 0 7127 0
vsize: 29712
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 12012 0 0 0 40950 55 0 0 25 0 1 0 972271140 30425088 5914 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7428 5914 301 301 0 7127 0
vsize: 29712
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 12183 0 0 0 41949 56 0 0 25 0 1 0 972271140 30425088 5965 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7428 5965 301 301 0 7127 0
vsize: 29712
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 12389 0 0 0 42948 57 0 0 25 0 1 0 972271140 30560256 6051 4294967295 134512640 135730672 3221224576 3221222992 134748088 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7461 6051 301 301 0 7160 0
vsize: 29844
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 12475 0 0 0 43948 58 0 0 25 0 1 0 972271140 30560256 6077 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7461 6077 301 301 0 7160 0
vsize: 29844
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 12606 0 0 0 44947 59 0 0 25 0 1 0 972271140 30695424 6088 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7494 6088 301 301 0 7193 0
vsize: 29976
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 12743 0 0 0 45947 59 0 0 25 0 1 0 972271140 30695424 6165 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7494 6165 301 301 0 7193 0
vsize: 29976
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 12912 0 0 0 46946 60 0 0 25 0 1 0 972271140 30830592 6214 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7527 6214 301 301 0 7226 0
vsize: 30108
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 13006 0 0 0 47945 61 0 0 25 0 1 0 972271140 30830592 6248 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7527 6248 301 301 0 7226 0
vsize: 30108
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 13202 0 0 0 48945 62 0 0 25 0 1 0 972271140 30830592 6324 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7527 6324 301 301 0 7226 0
vsize: 30108
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 13351 0 0 0 49943 64 0 0 25 0 1 0 972271140 30965760 6353 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7560 6353 301 301 0 7259 0
vsize: 30240
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 13523 0 0 0 50942 65 0 0 25 0 1 0 972271140 30965760 6405 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7560 6405 301 301 0 7259 0
vsize: 30240
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 13689 0 0 0 51941 66 0 0 25 0 1 0 972271140 31100928 6511 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7593 6511 301 301 0 7292 0
vsize: 30372
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 13833 0 0 0 52940 67 0 0 25 0 1 0 972271140 31100928 6535 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7593 6535 301 301 0 7292 0
vsize: 30372
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 13975 0 0 0 53940 68 0 0 25 0 1 0 972271140 31240192 6557 4294967295 134512640 135730672 3221224576 3221223024 134734837 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7627 6557 301 301 0 7326 0
vsize: 30508
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 14165 0 0 0 54939 68 0 0 25 0 1 0 972271140 39628800 6627 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9675 6627 301 301 0 9374 0
vsize: 38700
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 14247 0 0 0 55939 69 0 0 25 0 1 0 972271140 39628800 6649 4294967295 134512640 135730672 3221224576 3221222864 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9675 6649 301 301 0 9374 0
vsize: 38700
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 14410 0 0 0 56938 70 0 0 25 0 1 0 972271140 39763968 6692 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9708 6692 301 301 0 9407 0
vsize: 38832
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 14562 0 0 0 57937 72 0 0 25 0 1 0 972271140 39763968 6784 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9708 6784 301 301 0 9407 0
vsize: 38832
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 14702 0 0 0 58936 72 0 0 25 0 1 0 972271140 39763968 6804 4294967295 134512640 135730672 3221224576 3221222864 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9708 6804 301 301 0 9407 0
vsize: 38832
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 14845 0 0 0 59936 73 0 0 25 0 1 0 972271140 39899136 6827 4294967295 134512640 135730672 3221224576 3221222960 134763606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9741 6827 301 301 0 9440 0
vsize: 38964
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 15024 0 0 0 60935 73 0 0 25 0 1 0 972271140 39899136 6886 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9741 6886 301 301 0 9440 0
vsize: 38964
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 15168 0 0 0 61934 75 0 0 25 0 1 0 972271140 39899136 6910 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9741 6910 301 301 0 9440 0
vsize: 38964
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 15282 0 0 0 62933 76 0 0 25 0 1 0 972271140 40169472 6964 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9807 6964 301 301 0 9506 0
vsize: 39228
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 15436 0 0 0 63933 76 0 0 25 0 1 0 972271140 40169472 6998 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9807 6998 301 301 0 9506 0
vsize: 39228
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 15580 0 0 0 64932 77 0 0 25 0 1 0 972271140 40312832 7022 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9842 7022 301 301 0 9541 0
vsize: 39368
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 15740 0 0 0 65931 78 0 0 25 0 1 0 972271140 40312832 7122 4294967295 134512640 135730672 3221224576 3221222608 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9842 7122 301 301 0 9541 0
vsize: 39368
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 15934 0 0 0 66930 79 0 0 25 0 1 0 972271140 40312832 7196 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9842 7196 301 301 0 9541 0
vsize: 39368
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 16012 0 0 0 67930 80 0 0 25 0 1 0 972271140 40448000 7214 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9875 7214 301 301 0 9574 0
vsize: 39500
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 16154 0 0 0 68929 81 0 0 25 0 1 0 972271140 40448000 7236 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9875 7236 301 301 0 9574 0
vsize: 39500
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 16300 0 0 0 69929 81 0 0 25 0 1 0 972271140 40448000 7322 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9875 7322 301 301 0 9574 0
vsize: 39500
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 16405 0 0 0 70928 82 0 0 25 0 1 0 972271140 40591360 7367 4294967295 134512640 135730672 3221224576 3221222880 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9910 7367 301 301 0 9609 0
vsize: 39640
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 16552 0 0 0 71928 82 0 0 25 0 1 0 972271140 40591360 7394 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9910 7394 301 301 0 9609 0
vsize: 39640
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 16640 0 0 0 72928 83 0 0 25 0 1 0 972271140 40591360 7422 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9910 7422 301 301 0 9609 0
vsize: 39640
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 16824 0 0 0 73926 84 0 0 25 0 1 0 972271140 40726528 7486 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9943 7486 301 301 0 9642 0
vsize: 39772
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 17001 0 0 0 74926 84 0 0 25 0 1 0 972271140 40726528 7543 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9943 7543 301 301 0 9642 0
vsize: 39772
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 17156 0 0 0 75926 85 0 0 25 0 1 0 972271140 40861696 7638 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9976 7638 301 301 0 9675 0
vsize: 39904
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 17336 0 0 0 76925 86 0 0 25 0 1 0 972271140 40996864 7698 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10009 7698 301 301 0 9708 0
vsize: 40036
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 17510 0 0 0 77924 87 0 0 25 0 1 0 972271140 41140224 7752 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10044 7752 301 301 0 9743 0
vsize: 40176
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 17706 0 0 0 78923 88 0 0 25 0 1 0 972271140 41140224 7828 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10044 7828 301 301 0 9743 0
vsize: 40176
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 17811 0 0 0 79922 89 0 0 25 0 1 0 972271140 41140224 7873 4294967295 134512640 135730672 3221224576 3221223056 134748420 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10044 7873 301 301 0 9743 0
vsize: 40176
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 17971 0 0 0 80922 90 0 0 25 0 1 0 972271140 41418752 7913 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10112 7913 301 301 0 9811 0
vsize: 40448
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 18190 0 0 0 81921 91 0 0 25 0 1 0 972271140 41418752 8012 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10112 8012 301 301 0 9811 0
vsize: 40448
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 18310 0 0 0 82920 92 0 0 25 0 1 0 972271140 41418752 8072 4294967295 134512640 135730672 3221224576 3221222912 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10112 8072 301 301 0 9811 0
vsize: 40448
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 18463 0 0 0 83919 93 0 0 25 0 1 0 972271140 41553920 8105 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10145 8105 301 301 0 9844 0
vsize: 40580
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 18540 0 0 0 84919 93 0 0 25 0 1 0 972271140 41553920 8122 4294967295 134512640 135730672 3221224576 3221223056 134748549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10145 8122 301 301 0 9844 0
vsize: 40580
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 18709 0 0 0 85918 94 0 0 25 0 1 0 972271140 41684992 8171 4294967295 134512640 135730672 3221224576 3221222880 135282280 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10177 8171 301 301 0 9876 0
vsize: 40708
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 18854 0 0 0 86918 95 0 0 25 0 1 0 972271140 41684992 8196 4294967295 134512640 135730672 3221224576 3221222912 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10177 8196 301 301 0 9876 0
vsize: 40708
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 18938 0 0 0 87917 95 0 0 25 0 1 0 972271140 41840640 8220 4294967295 134512640 135730672 3221224576 3221223056 134748632 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10215 8220 301 301 0 9914 0
vsize: 40860
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 19153 0 0 0 88916 97 0 0 25 0 1 0 972271140 41840640 8315 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10215 8315 301 301 0 9914 0
vsize: 40860
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 19235 0 0 0 89915 98 0 0 25 0 1 0 972271140 41988096 8337 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10251 8337 301 301 0 9950 0
vsize: 41004
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 19429 0 0 0 90914 99 0 0 25 0 1 0 972271140 41988096 8411 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10251 8411 301 301 0 9950 0
vsize: 41004
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 19580 0 0 0 91913 100 0 0 25 0 1 0 972271140 41988096 8502 4294967295 134512640 135730672 3221224576 3221222864 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10251 8502 301 301 0 9950 0
vsize: 41004
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 19728 0 0 0 92912 102 0 0 25 0 1 0 972271140 41988096 8530 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10251 8530 301 301 0 9950 0
vsize: 41004
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 19822 0 0 0 93912 102 0 0 25 0 1 0 972271140 42123264 8564 4294967295 134512640 135730672 3221224576 3221222912 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10284 8564 301 301 0 9983 0
vsize: 41136
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 20028 0 0 0 94911 103 0 0 25 0 1 0 972271140 42258432 8650 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10317 8650 301 301 0 10016 0
vsize: 41268
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 20149 0 0 0 95911 104 0 0 25 0 1 0 972271140 42258432 8711 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10317 8711 301 301 0 10016 0
vsize: 41268
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 20233 0 0 0 96910 105 0 0 25 0 1 0 972271140 42258432 8735 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10317 8735 301 301 0 10016 0
vsize: 41268
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 20380 0 0 0 97909 106 0 0 25 0 1 0 972271140 42422272 8762 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10357 8762 301 301 0 10056 0
vsize: 41428
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 20496 0 0 0 98909 106 0 0 25 0 1 0 972271140 42422272 8818 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10357 8818 301 301 0 10056 0
vsize: 41428
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 20656 0 0 0 99908 108 0 0 25 0 1 0 972271140 42422272 8858 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10357 8858 301 301 0 10056 0
vsize: 41428
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 20744 0 0 0 100907 108 0 0 25 0 1 0 972271140 42561536 8886 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10391 8886 301 301 0 10090 0
vsize: 41564
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 20935 0 0 0 101907 109 0 0 25 0 1 0 972271140 42561536 8957 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10391 8957 301 301 0 10090 0
vsize: 41564
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 21057 0 0 0 102906 110 0 0 25 0 1 0 972271140 42700800 9019 4294967295 134512640 135730672 3221224576 3221222960 134764089 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10425 9019 301 301 0 10124 0
vsize: 41700
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 21131 0 0 0 103906 110 0 0 25 0 1 0 972271140 42700800 9033 4294967295 134512640 135730672 3221224576 3221222880 134746533 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10425 9033 301 301 0 10124 0
vsize: 41700
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 21304 0 0 0 104905 111 0 0 25 0 1 0 972271140 42835968 9086 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10458 9086 301 301 0 10157 0
vsize: 41832
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 21515 0 0 0 105904 112 0 0 25 0 1 0 972271140 42835968 9177 4294967295 134512640 135730672 3221224576 3221222864 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10458 9177 301 301 0 10157 0
vsize: 41832
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 21589 0 0 0 106904 113 0 0 25 0 1 0 972271140 42835968 9191 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10458 9191 301 301 0 10157 0
vsize: 41832
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 21669 0 0 0 107903 114 0 0 25 0 1 0 972271140 42971136 9211 4294967295 134512640 135730672 3221224576 3221222880 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10491 9211 301 301 0 10190 0
vsize: 41964
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 21862 0 0 0 108902 115 0 0 25 0 1 0 972271140 42971136 9284 4294967295 134512640 135730672 3221224576 3221222864 134747834 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10491 9284 301 301 0 10190 0
vsize: 41964
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 22023 0 0 0 109902 116 0 0 25 0 1 0 972271140 42971136 9325 4294967295 134512640 135730672 3221224576 3221222688 134732482 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10491 9325 301 301 0 10190 0
vsize: 41964
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 22145 0 0 0 110902 116 0 0 25 0 1 0 972271140 43106304 9387 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10524 9387 301 301 0 10223 0
vsize: 42096
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 22285 0 0 0 111901 116 0 0 25 0 1 0 972271140 43106304 9467 4294967295 134512640 135730672 3221224576 3221222880 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10524 9467 301 301 0 10223 0
vsize: 42096
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30239
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 22464 0 0 0 112900 118 0 0 25 0 1 0 972271140 43106304 9526 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10524 9526 301 301 0 10223 0
vsize: 42096
[startup+1140.04 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 30292
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 22544 0 0 0 113900 118 0 0 25 0 1 0 972271140 43237376 9546 4294967295 134512640 135730672 3221224576 3221222880 134746221 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10556 9546 301 301 0 10255 0
vsize: 42224
[startup+1150.04 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 30292
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 22690 0 0 0 114899 120 0 0 25 0 1 0 972271140 43237376 9572 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10556 9572 301 301 0 10255 0
vsize: 42224
[startup+1160.04 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 30292
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 22838 0 0 0 115897 121 0 0 25 0 1 0 972271140 43237376 9660 4294967295 134512640 135730672 3221224576 3221222912 134740425 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10556 9660 301 301 0 10255 0
vsize: 42224
[startup+1170.04 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 30292
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 22991 0 0 0 116896 122 0 0 25 0 1 0 972271140 43372544 9693 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10589 9693 301 301 0 10288 0
vsize: 42356
[startup+1180.04 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 30292
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 23065 0 0 0 117896 123 0 0 25 0 1 0 972271140 43507712 9707 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10622 9707 301 301 0 10321 0
vsize: 42488
[startup+1190.04 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 30292
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 23279 0 0 0 118895 124 0 0 25 0 1 0 972271140 43507712 9801 4294967295 134512640 135730672 3221224576 3221222992 134748141 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10622 9801 301 301 0 10321 0
vsize: 42488
[startup+1200.04 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 30292
Raw data (stat): 30239 (pb2sat-v2) R 30238 21152 21151 0 -1 0 23407 0 0 0 119894 125 0 0 25 0 1 0 972271140 43507712 9869 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10622 9869 301 301 0 10321 0
vsize: 42488
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 1.03 0.99 0.92 1/54 30292
Raw data (stat): 30239 (pb2sat-v2) Z 30238 21152 21151 0 -1 12 23409 0 0 0 119904 127 0 0 25 0 1 0 972271140 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: 10
Real time (s): 1200.17
CPU time (s): 1200.32
CPU user time (s): 1199.05
CPU system time (s): 1.27781
CPU usage (%): 100.013
Max. virtual memory (Kb): 42488
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-608
#### END VERIFIER DATA ####