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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. 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.
  4. 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

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air01.opb
MD5SUM90db1995bd949fc5ac74143a523f3bcf
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3398
Optimality of the best value was proved YES
Number of terms in the objective function 771
Biggest coefficient in the objective function 3698
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1192753
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 3698
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1192753
Number of bits of the biggest sum of numbers21
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark112.221
Number of variables771
Total number of constraints794
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)794
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint438

Trace number 8471

Launcher Data

LAUNCH ON wulflinc31 THE 2005-09-20 16:38:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5621 boxname=wulflinc31 idbench=933 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  90db1995bd949fc5ac74143a523f3bcf  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air01.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5621
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        843460 kB
Buffers:         32900 kB
Cached:         130432 kB
SwapCached:       1160 kB
Active:          61004 kB
Inactive:       105196 kB
HighTotal:      131008 kB
HighFree:         6160 kB
LowTotal:       903652 kB
LowFree:        837300 kB
SwapTotal:     2097892 kB
SwapFree:      2096252 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            19512 kB
Committed_AS:    64348 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 16:48:06 (client local time) WITH STATUS 30 IN 596.601 SECONDS
stats: 5621 0 596.601 30

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c starting to Solve
c #variables read: 771 - #constraints read: 818
c optimum objective found = 3398
c total time              : 596.57 s
s OPTIMUM FOUND
v -CL000001_bit0 -CL000002_bit0 -CL000003_bit0 -CL000004_bit0 -CL000005_bit0 -CL000006_bit0 -CL000007_bit0 -CL000008_bit0 -CL000009_bit0 -CL000010_bit0 -CL000011_bit0 -CL000012_bit0 -CL000013_bit0 -CL000014_bit0 CL000015_bit0 -CL000016_bit0 -CL000017_bit0 -CL000018_bit0 -CL000019_bit0 -CL000020_bit0 -CL000021_bit0 -CL000022_bit0 -CL000023_bit0 -CL000024_bit0 -CL000025_bit0 -CL000026_bit0 -CL000027_bit0 -CL000028_bit0 -CL000029_bit0 -CL000030_bit0 -CL000031_bit0 -CL000032_bit0 -CL000033_bit0 -CL000034_bit0 -CL000035_bit0 -CL000036_bit0 -CL000037_bit0 -CL000038_bit0 -CL000039_bit0 CL000040_bit0 -CL000041_bit0 -CL000042_bit0 -CL000043_bit0 -CL000044_bit0 -CL000045_bit0 -CL000046_bit0 -CL000047_bit0 -CL000048_bit0 -CL000049_bit0 -CL000050_bit0 -CL000051_bit0 -CL000052_bit0 -CL000053_bit0 -CL000054_bit0 -CL000055_bit0 -CL000056_bit0 -CL000057_bit0 -CL000058_bit0 -CL000059_bit0 -CL000060_bit0 -CL000061_bit0 -CL000062_bit0 -CL000063_bit0 -CL000064_bit0 -CL000065_bit0 -CL000066_bit0 -CL000067_bit0 -CL000068_bit0 -CL000069_bit0 -CL000070_bit0 -CL000071_bit0 -CL000072_bit0 -CL000073_bit0 -CL000074_bit0 -CL000075_bit0 -CL000076_bit0 -CL000077_bit0 -CL000078_bit0 -CL000079_bit0 -CL000080_bit0 -CL000081_bit0 -CL000082_bit0 -CL000083_bit0 -CL000084_bit0 -CL000085_bit0 -CL000086_bit0 -CL000087_bit0 -CL000088_bit0 -CL000089_bit0 -CL000090_bit0 -CL000091_bit0 -CL000092_bit0 -CL000093_bit0 -CL000094_bit0 -CL000095_bit0 -CL000096_bit0 -CL000097_bit0 -CL000098_bit0 -CL000099_bit0 -CL000100_bit0 -CL000101_bit0 -CL000102_bit0 -CL000103_bit0 -CL000104_bit0 -CL000105_bit0 -CL000106_bit0 -CL000107_bit0 -CL000108_bit0 -CL000109_bit0 -CL000110_bit0 -CL000111_bit0 -CL000112_bit0 -CL000113_bit0 -CL000114_bit0 -CL000115_bit0 -CL000116_bit0 -CL000117_bit0 -CL000118_bit0 -CL000119_bit0 -CL000120_bit0 -CL000121_bit0 -CL000122_bit0 -CL000123_bit0 -CL000124_bit0 -CL000125_bit0 -CL000126_bit0 -CL000127_bit0 -CL000128_bit0 -CL000129_bit0 -CL000130_bit0 -CL000131_bit0 -CL000132_bit0 -CL000133_bit0 -CL000134_bit0 -CL000135_bit0 -CL000136_bit0 -CL000137_bit0 -CL000138_bit0 -CL000139_bit0 -CL000140_bit0 -CL000141_bit0 -CL000142_bit0 -CL000143_bit0 -CL000144_bit0 -CL000145_bit0 -CL000146_bit0 -CL000147_bit0 -CL000148_bit0 -CL000149_bit0 -CL000150_bit0 -CL000151_bit0 -CL000152_bit0 -CL000153_bit0 -CL000154_bit0 -CL000155_bit0 -CL000156_bit0 CL000157_bit0 -CL000158_bit0 -CL000159_bit0 -CL000160_bit0 -CL000161_bit0 -CL000162_bit0 -CL000163_bit0 -CL000164_bit0 -CL000165_bit0 -CL000166_bit0 -CL000167_bit0 -CL000168_bit0 -CL000169_bit0 -CL000170_bit0 -CL000171_bit0 -CL000172_bit0 -CL000173_bit0 -CL000174_bit0 -CL000175_bit0 -CL000176_bit0 -CL000177_bit0 -CL000178_bit0 -CL000179_bit0 -CL000180_bit0 -CL000181_bit0 -CL000182_bit0 -CL000183_bit0 -CL000184_bit0 -CL000185_bit0 -CL000186_bit0 -CL000187_bit0 -CL000188_bit0 -CL000189_bit0 -CL000190_bit0 -CL000191_bit0 -CL000192_bit0 -CL000193_bit0 -CL000194_bit0 -CL000195_bit0 -CL000196_bit0 -CL000197_bit0 -CL000198_bit0 -CL000199_bit0 -CL000200_bit0 -CL000201_bit0 -CL000202_bit0 -CL000203_bit0 -CL000204_bit0 -CL000205_bit0 -CL000206_bit0 -CL000207_bit0 -CL000208_bit0 -CL000209_bit0 -CL000210_bit0 -CL000211_bit0 -CL000212_bit0 -CL000213_bit0 -CL000214_bit0 -CL000215_bit0 -CL000216_bit0 -CL000217_bit0 -CL000218_bit0 -CL000219_bit0 -CL000220_bit0 -CL000221_bit0 -CL000222_bit0 -CL000223_bit0 -CL000224_bit0 -CL000225_bit0 -CL000226_bit0 -CL000227_bit0 -CL000228_bit0 -CL000229_bit0 -CL000230_bit0 -CL000231_bit0 -CL000232_bit0 -CL000233_bit0 -CL000234_bit0 -CL000235_bit0 -CL000236_bit0 -CL000237_bit0 -CL000238_bit0 -CL000239_bit0 -CL000240_bit0 -CL000241_bit0 -CL000242_bit0 -CL000243_bit0 -CL000244_bit0 -CL000245_bit0 -CL000246_bit0 -CL000247_bit0 -CL000248_bit0 -CL000249_bit0 -CL000250_bit0 -CL000251_bit0 -CL000252_bit0 -CL000253_bit0 -CL000254_bit0 -CL000255_bit0 -CL000256_bit0 -CL000257_bit0 -CL000258_bit0 -CL000259_bit0 -CL000260_bit0 -CL000261_bit0 -CL000262_bit0 -CL000263_bit0 -CL000264_bit0 -CL000265_bit0 -CL000266_bit0 -CL000267_bit0 -CL000268_bit0 -CL000269_bit0 -CL000270_bit0 -CL000271_bit0 -CL000272_bit0 -CL000273_bit0 -CL000274_bit0 -CL000275_bit0 -CL000276_bit0 -CL000277_bit0 -CL000278_bit0 -CL000279_bit0 -CL000280_bit0 -CL000281_bit0 -CL000282_bit0 -CL000283_bit0 -CL000284_bit0 -CL000285_bit0 -CL000286_bit0 CL000287_bit0 -CL000288_bit0 -CL000289_bit0 -CL000290_bit0 -CL000291_bit0 -CL000292_bit0 -CL000293_bit0 -CL000294_bit0 -CL000295_bit0 -CL000296_bit0 -CL000297_bit0 -CL000298_bit0 -CL000299_bit0 -CL000300_bit0 -CL000301_bit0 -CL000302_bit0 -CL000303_bit0 -CL000304_bit0 -CL000305_bit0 -CL000306_bit0 -CL000307_bit0 -CL000308_bit0 -CL000309_bit0 -CL000310_bit0 -CL000311_bit0 -CL000312_bit0 -CL000313_bit0 -CL000314_bit0 -CL000315_bit0 -CL000316_bit0 -CL000317_bit0 -CL000318_bit0 -CL000319_bit0 -CL000320_bit0 -CL000321_bit0 -CL000322_bit0 -CL000323_bit0 -CL000324_bit0 -CL000325_bit0 -CL000326_bit0 -CL000327_bit0 -CL000328_bit0 -CL000329_bit0 -CL000330_bit0 -CL000331_bit0 -CL000332_bit0 -CL000333_bit0 -CL000334_bit0 -CL000335_bit0 -CL000336_bit0 -CL000337_bit0 -CL000338_bit0 -CL000339_bit0 -CL000340_bit0 -CL000341_bit0 -CL000342_bit0 -CL000343_bit0 -CL000344_bit0 -CL000345_bit0 -CL000346_bit0 -CL000347_bit0 -CL000348_bit0 -CL000349_bit0 -CL000350_bit0 -CL000351_bit0 -CL000352_bit0 -CL000353_bit0 -CL000354_bit0 -CL000355_bit0 -CL000356_bit0 -CL000357_bit0 CL000358_bit0 -CL000359_bit0 -CL000360_bit0 -CL000361_bit0 -CL000362_bit0 -CL000363_bit0 -CL000364_bit0 -CL000365_bit0 -CL000366_bit0 -CL000367_bit0 -CL000368_bit0 -CL000369_bit0 -CL000370_bit0 -CL000371_bit0 -CL000372_bit0 -CL000373_bit0 -CL000374_bit0 -CL000375_bit0 -CL000376_bit0 -CL000377_bit0 -CL000378_bit0 -CL000379_bit0 -CL000380_bit0 -CL000381_bit0 -CL000382_bit0 -CL000383_bit0 -CL000384_bit0 -CL000385_bit0 -CL000386_bit0 -CL000387_bit0 -CL000388_bit0 -CL000389_bit0 -CL000390_bit0 -CL000391_bit0 -CL000392_bit0 -CL000393_bit0 -CL000394_bit0 -CL000395_bit0 -CL000396_bit0 -CL000397_bit0 -CL000398_bit0 -CL000399_bit0 -CL000400_bit0 -CL000401_bit0 -CL000402_bit0 -CL000403_bit0 -CL000404_bit0 -CL000405_bit0 -CL000406_bit0 -CL000407_bit0 -CL000408_bit0 -CL000409_bit0 -CL000410_bit0 -CL000411_bit0 -CL000412_bit0 -CL000413_bit0 -CL000414_bit0 -CL000415_bit0 -CL000416_bit0 -CL000417_bit0 -CL000418_bit0 -CL000419_bit0 -CL000420_bit0 -CL000421_bit0 -CL000422_bit0 -CL000423_bit0 -CL000424_bit0 -CL000425_bit0 -CL000426_bit0 -CL000427_bit0 -CL000428_bit0 -CL000429_bit0 -CL000430_bit0 -CL000431_bit0 -CL000432_bit0 -CL000433_bit0 -CL000434_bit0 -CL000435_bit0 -CL000436_bit0 -CL000437_bit0 -CL000438_bit0 -CL000439_bit0 -CL000440_bit0 -CL000441_bit0 -CL000442_bit0 -CL000443_bit0 -CL000444_bit0 -CL000445_bit0 -CL000446_bit0 -CL000447_bit0 -CL000448_bit0 -CL000449_bit0 -CL000450_bit0 -CL000451_bit0 -CL000452_bit0 -CL000453_bit0 -CL000454_bit0 -CL000455_bit0 -CL000456_bit0 -CL000457_bit0 -CL000458_bit0 -CL000459_bit0 -CL000460_bit0 -CL000461_bit0 -CL000462_bit0 -CL000463_bit0 -CL000464_bit0 -CL000465_bit0 -CL000466_bit0 -CL000467_bit0 -CL000468_bit0 -CL000469_bit0 -CL000470_bit0 -CL000471_bit0 -CL000472_bit0 -CL000473_bit0 -CL000474_bit0 -CL000475_bit0 -CL000476_bit0 -CL000477_bit0 -CL000478_bit0 -CL000479_bit0 -CL000480_bit0 -CL000481_bit0 -CL000482_bit0 -CL000483_bit0 -CL000484_bit0 -CL000485_bit0 -CL000486_bit0 -CL000487_bit0 -CL000488_bit0 -CL000489_bit0 -CL000490_bit0 -CL000491_bit0 -CL000492_bit0 -CL000493_bit0 -CL000494_bit0 -CL000495_bit0 -CL000496_bit0 -CL000497_bit0 -CL000498_bit0 -CL000499_bit0 -CL000500_bit0 -CL000501_bit0 -CL000502_bit0 -CL000503_bit0 -CL000504_bit0 -CL000505_bit0 -CL000506_bit0 -CL000507_bit0 -CL000508_bit0 -CL000509_bit0 -CL000510_bit0 -CL000511_bit0 -CL000512_bit0 -CL000513_bit0 -CL000514_bit0 -CL000515_bit0 -CL000516_bit0 -CL000517_bit0 -CL000518_bit0 -CL000519_bit0 -CL000520_bit0 -CL000521_bit0 -CL000522_bit0 -CL000523_bit0 -CL000524_bit0 -CL000525_bit0 -CL000526_bit0 -CL000527_bit0 -CL000528_bit0 -CL000529_bit0 -CL000530_bit0 -CL000531_bit0 -CL000532_bit0 -CL000533_bit0 -CL000534_bit0 -CL000535_bit0 -CL000536_bit0 -CL000537_bit0 -CL000538_bit0 -CL000539_bit0 -CL000540_bit0 -CL000541_bit0 -CL000542_bit0 -CL000543_bit0 -CL000544_bit0 -CL000545_bit0 -CL000546_bit0 -CL000547_bit0 -CL000548_bit0 -CL000549_bit0 -CL000550_bit0 -CL000551_bit0 -CL000552_bit0 -CL000553_bit0 -CL000554_bit0 -CL000555_bit0 -CL000556_bit0 -CL000557_bit0 CL000558_bit0 -CL000559_bit0 -CL000560_bit0 -CL000561_bit0 -CL000562_bit0 -CL000563_bit0 -CL000564_bit0 -CL000565_bit0 -CL000566_bit0 -CL000567_bit0 -CL000568_bit0 -CL000569_bit0 -CL000570_bit0 -CL000571_bit0 -CL000572_bit0 -CL000573_bit0 -CL000574_bit0 -CL000575_bit0 -CL000576_bit0 -CL000577_bit0 -CL000578_bit0 -CL000579_bit0 -CL000580_bit0 -CL000581_bit0 -CL000582_bit0 -CL000583_bit0 -CL000584_bit0 -CL000585_bit0 -CL000586_bit0 -CL000587_bit0 -CL000588_bit0 -CL000589_bit0 -CL000590_bit0 -CL000591_bit0 -CL000592_bit0 -CL000593_bit0 -CL000594_bit0 -CL000595_bit0 -CL000596_bit0 -CL000597_bit0 -CL000598_bit0 -CL000599_bit0 -CL000600_bit0 -CL000601_bit0 -CL000602_bit0 -CL000603_bit0 -CL000604_bit0 -CL000605_bit0 -CL000606_bit0 -CL000607_bit0 -CL000608_bit0 -CL000609_bit0 -CL000610_bit0 -CL000611_bit0 -CL000612_bit0 -CL000613_bit0 -CL000614_bit0 -CL000615_bit0 -CL000616_bit0 -CL000617_bit0 -CL000618_bit0 -CL000619_bit0 -CL000620_bit0 -CL000621_bit0 -CL000622_bit0 -CL000623_bit0 -CL000624_bit0 -CL000625_bit0 -CL000626_bit0 -CL000627_bit0 -CL000628_bit0 -CL000629_bit0 -CL000630_bit0 -CL000631_bit0 -CL000632_bit0 -CL000633_bit0 -CL000634_bit0 -CL000635_bit0 -CL000636_bit0 -CL000637_bit0 -CL000638_bit0 -CL000639_bit0 -CL000640_bit0 -CL000641_bit0 -CL000642_bit0 -CL000643_bit0 -CL000644_bit0 -CL000645_bit0 -CL000646_bit0 -CL000647_bit0 -CL000648_bit0 -CL000649_bit0 -CL000650_bit0 -CL000651_bit0 -CL000652_bit0 -CL000653_bit0 -CL000654_bit0 -CL000655_bit0 -CL000656_bit0 -CL000657_bit0 -CL000658_bit0 -CL000659_bit0 -CL000660_bit0 -CL000661_bit0 -CL000662_bit0 -CL000663_bit0 -CL000664_bit0 -CL000665_bit0 -CL000666_bit0 -CL000667_bit0 -CL000668_bit0 -CL000669_bit0 -CL000670_bit0 -CL000671_bit0 -CL000672_bit0 -CL000673_bit0 -CL000674_bit0 -CL000675_bit0 -CL000676_bit0 -CL000677_bit0 -CL000678_bit0 -CL000679_bit0 -CL000680_bit0 -CL000681_bit0 -CL000682_bit0 -CL000683_bit0 -CL000684_bit0 -CL000685_bit0 -CL000686_bit0 -CL000687_bit0 -CL000688_bit0 -CL000689_bit0 -CL000690_bit0 -CL000691_bit0 -CL000692_bit0 -CL000693_bit0 -CL000694_bit0 -CL000695_bit0 -CL000696_bit0 -CL000697_bit0 -CL000698_bit0 -CL000699_bit0 -CL000700_bit0 -CL000701_bit0 -CL000702_bit0 -CL000703_bit0 -CL000704_bit0 -CL000705_bit0 -CL000706_bit0 -CL000707_bit0 -CL000708_bit0 -CL000709_bit0 -CL000710_bit0 -CL000711_bit0 -CL000712_bit0 -CL000713_bit0 -CL000714_bit0 -CL000715_bit0 -CL000716_bit0 -CL000717_bit0 -CL000718_bit0 -CL000719_bit0 -CL000720_bit0 -CL000721_bit0 -CL000722_bit0 -CL000723_bit0 -CL000724_bit0 -CL000725_bit0 -CL000726_bit0 -CL000727_bit0 -CL000728_bit0 -CL000729_bit0 -CL000730_bit0 -CL000731_bit0 -CL000732_bit0 -CL000733_bit0 -CL000734_bit0 -CL000735_bit0 -CL000736_bit0 -CL000737_bit0 -CL000738_bit0 -CL000739_bit0 -CL000740_bit0 -CL000741_bit0 -CL000742_bit0 -CL000743_bit0 -CL000744_bit0 -CL000745_bit0 -CL000746_bit0 -CL000747_bit0 -CL000748_bit0 -CL000749_bit0 -CL000750_bit0 -CL000751_bit0 -CL000752_bit0 -CL000753_bit0 -CL000754_bit0 -CL000755_bit0 -CL000756_bit0 -CL000757_bit0 -CL000758_bit0 -CL000759_bit0 -CL000760_bit0 -CL000761_bit0 -CL000762_bit0 -CL000763_bit0 -CL000764_bit0 -CL000765_bit0 -CL000766_bit0 -CL000767_bit0 -CL000768_bit0 -CL000769_bit0 -CL000770_bit0 -CL000771_bit0

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859996187 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 41 3 40 18 0 23 0
[pid=13770] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0037 s]
Raw data (loadavg): 0.92 0.96 0.94 2/57 13770
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 1299 0 0 0 971 11 0 0 25 0 1 0 1859996187 6840320 1265 4294967295 134512640 134578447 3221224624 3221223504 134527782 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 1670 1265 566 18 0 1652 0
[pid=13770] vsize: 6680
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (Kb) 6680

[startup+20.0047 s]
Raw data (loadavg): 0.94 0.96 0.94 2/57 13772
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 2226 0 0 0 1910 31 0 0 25 0 1 0 1859996187 10694656 2192 4294967295 134512640 134578447 3221224624 3221223600 134530222 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 2611 2192 566 18 0 2593 0
[pid=13770] vsize: 10444
Current children cumulated CPU time (s) 19.41
Current children cumulated vsize (Kb) 10444

[startup+30.0056 s]
Raw data (loadavg): 0.94 0.96 0.94 2/57 13772
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 11020 0 0 0 2842 66 0 0 25 0 1 0 1859996187 56401920 10986 4294967295 134512640 134578447 3221224624 3221223552 134527008 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 10986 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 29.08
Current children cumulated vsize (Kb) 55080

[startup+40.0065 s]
Raw data (loadavg): 0.95 0.96 0.94 2/57 13772
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12052 0 0 0 3814 78 0 0 25 0 1 0 1859996187 56401920 12018 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12018 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 38.92
Current children cumulated vsize (Kb) 55080

[startup+50.0064 s]
Raw data (loadavg): 0.96 0.96 0.94 2/57 13772
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12063 0 0 0 4799 82 0 0 25 0 1 0 1859996187 56401920 12029 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12029 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 48.81
Current children cumulated vsize (Kb) 55080

[startup+60.0073 s]
Raw data (loadavg): 0.97 0.96 0.94 2/57 13772
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12065 0 0 0 5798 83 0 0 25 0 1 0 1859996187 56401920 12031 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12031 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 58.81
Current children cumulated vsize (Kb) 55080

[startup+70.0083 s]
Raw data (loadavg): 0.97 0.96 0.94 2/57 13772
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12066 0 0 0 6797 83 0 0 25 0 1 0 1859996187 56401920 12032 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12032 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 68.8
Current children cumulated vsize (Kb) 55080

[startup+80.0082 s]
Raw data (loadavg): 0.97 0.96 0.94 2/57 13774
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12068 0 0 0 7794 84 0 0 25 0 1 0 1859996187 56401920 12034 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12034 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 78.78
Current children cumulated vsize (Kb) 55080

[startup+90.0091 s]
Raw data (loadavg): 0.98 0.96 0.94 2/57 13774
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12068 0 0 0 8792 85 0 0 25 0 1 0 1859996187 56401920 12034 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12034 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 88.77
Current children cumulated vsize (Kb) 55080

[startup+100.009 s]
Raw data (loadavg): 0.98 0.97 0.94 2/57 13774
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12068 0 0 0 9789 86 0 0 25 0 1 0 1859996187 56401920 12034 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12034 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 98.75
Current children cumulated vsize (Kb) 55080

[startup+110.01 s]
Raw data (loadavg): 0.98 0.97 0.94 2/57 13774
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12068 0 0 0 10788 86 0 0 25 0 1 0 1859996187 56401920 12034 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12034 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 108.74
Current children cumulated vsize (Kb) 55080

[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13774
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12069 0 0 0 11785 87 0 0 25 0 1 0 1859996187 56401920 12035 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12035 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 118.72
Current children cumulated vsize (Kb) 55080

[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13774
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12069 0 0 0 12781 88 0 0 25 0 1 0 1859996187 56401920 12035 4294967295 134512640 134578447 3221224624 3221223504 134527782 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12035 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 128.69
Current children cumulated vsize (Kb) 55080

[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13776
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12070 0 0 0 13776 90 0 0 25 0 1 0 1859996187 56401920 12036 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12036 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 138.66
Current children cumulated vsize (Kb) 55080

[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13776
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12072 0 0 0 14771 92 0 0 25 0 1 0 1859996187 56401920 12038 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12038 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 148.63
Current children cumulated vsize (Kb) 55080

[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13776
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12072 0 0 0 15771 92 0 0 25 0 1 0 1859996187 56401920 12038 4294967295 134512640 134578447 3221224624 3221223504 134527733 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12038 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 158.63
Current children cumulated vsize (Kb) 55080

[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13776
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12072 0 0 0 16770 93 0 0 25 0 1 0 1859996187 56401920 12038 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12038 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 168.63
Current children cumulated vsize (Kb) 55080

[startup+180.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13776
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12072 0 0 0 17765 94 0 0 25 0 1 0 1859996187 56401920 12038 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12038 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 178.59
Current children cumulated vsize (Kb) 55080

[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13776
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12074 0 0 0 18765 95 0 0 25 0 1 0 1859996187 56401920 12040 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12040 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 188.6
Current children cumulated vsize (Kb) 55080

[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13778
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12075 0 0 0 19763 96 0 0 25 0 1 0 1859996187 56401920 12041 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12041 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 198.59
Current children cumulated vsize (Kb) 55080

[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13778
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12075 0 0 0 20759 97 0 0 25 0 1 0 1859996187 56401920 12041 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12041 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 208.56
Current children cumulated vsize (Kb) 55080

[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13778
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12075 0 0 0 21757 97 0 0 25 0 1 0 1859996187 56401920 12041 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12041 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 218.54
Current children cumulated vsize (Kb) 55080

[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13778
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12076 0 0 0 22756 98 0 0 25 0 1 0 1859996187 56401920 12042 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12042 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 228.54
Current children cumulated vsize (Kb) 55080

[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13778
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12076 0 0 0 23755 98 0 0 25 0 1 0 1859996187 56401920 12042 4294967295 134512640 134578447 3221224624 3221223456 134528362 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12042 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 238.53
Current children cumulated vsize (Kb) 55080

[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13778
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12077 0 0 0 24752 99 0 0 25 0 1 0 1859996187 56401920 12043 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12043 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 248.51
Current children cumulated vsize (Kb) 55080

[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13780
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12077 0 0 0 25749 100 0 0 25 0 1 0 1859996187 56401920 12043 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12043 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 258.49
Current children cumulated vsize (Kb) 55080

[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13780
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12077 0 0 0 26745 101 0 0 25 0 1 0 1859996187 56401920 12043 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12043 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 268.46
Current children cumulated vsize (Kb) 55080

[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13780
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12077 0 0 0 27745 101 0 0 25 0 1 0 1859996187 56401920 12043 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12043 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 278.46
Current children cumulated vsize (Kb) 55080

[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13780
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12077 0 0 0 28745 101 0 0 25 0 1 0 1859996187 56401920 12043 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12043 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 288.46
Current children cumulated vsize (Kb) 55080

[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13780
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12077 0 0 0 29744 101 0 0 25 0 1 0 1859996187 56401920 12043 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12043 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 298.45
Current children cumulated vsize (Kb) 55080

[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13780
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12077 0 0 0 30744 102 0 0 25 0 1 0 1859996187 56401920 12043 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12043 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 308.46
Current children cumulated vsize (Kb) 55080

[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13782
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12078 0 0 0 31735 105 0 0 25 0 1 0 1859996187 56401920 12044 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12044 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 318.4
Current children cumulated vsize (Kb) 55080

[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13782
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12079 0 0 0 32731 107 0 0 25 0 1 0 1859996187 56401920 12045 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12045 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 328.38
Current children cumulated vsize (Kb) 55080

[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13782
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12080 0 0 0 33723 110 0 0 25 0 1 0 1859996187 56401920 12046 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12046 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 338.33
Current children cumulated vsize (Kb) 55080

[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13782
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12080 0 0 0 34713 113 0 0 25 0 1 0 1859996187 56401920 12046 4294967295 134512640 134578447 3221224624 3221223536 134516775 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12046 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 348.26
Current children cumulated vsize (Kb) 55080

[startup+360.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13782
Raw data (/proc/13770/stat): 13770 (Pueblo) T 13769 13770 9102 0 -1 0 12082 0 0 0 35688 122 0 0 25 0 1 0 1859996187 56401920 12048 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12048 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 358.1
Current children cumulated vsize (Kb) 55080

[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13782
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12085 0 0 0 36663 130 0 0 25 0 1 0 1859996187 56401920 12051 4294967295 134512640 134578447 3221224624 3221223504 134527720 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12051 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 367.93
Current children cumulated vsize (Kb) 55080

[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13784
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12085 0 0 0 37642 135 0 0 25 0 1 0 1859996187 56401920 12051 4294967295 134512640 134578447 3221224624 3221223536 134516778 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12051 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 377.77
Current children cumulated vsize (Kb) 55080

[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13784
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12085 0 0 0 38600 148 0 0 24 0 1 0 1859996187 56401920 12051 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12051 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 387.48
Current children cumulated vsize (Kb) 55080

[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13784
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12086 0 0 0 39571 158 0 0 25 0 1 0 1859996187 56401920 12052 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12052 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 397.29
Current children cumulated vsize (Kb) 55080

[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13784
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12086 0 0 0 40543 167 0 0 22 0 1 0 1859996187 56401920 12052 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12052 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 407.1
Current children cumulated vsize (Kb) 55080

[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13784
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12086 0 0 0 41518 176 0 0 25 0 1 0 1859996187 56401920 12052 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12052 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 416.94
Current children cumulated vsize (Kb) 55080

[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13784
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12086 0 0 0 42479 187 0 0 25 0 1 0 1859996187 56401920 12052 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12052 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 426.66
Current children cumulated vsize (Kb) 55080

[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13786
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12086 0 0 0 43463 193 0 0 25 0 1 0 1859996187 56401920 12052 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12052 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 436.56
Current children cumulated vsize (Kb) 55080

[startup+450.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13786
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12086 0 0 0 44456 196 0 0 25 0 1 0 1859996187 56401920 12052 4294967295 134512640 134578447 3221224624 3221223228 1075288765 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12052 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 446.52
Current children cumulated vsize (Kb) 55080

[startup+460.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13786
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12087 0 0 0 45426 206 0 0 25 0 1 0 1859996187 56401920 12053 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12053 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 456.32
Current children cumulated vsize (Kb) 55080

[startup+470.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13786
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12087 0 0 0 46390 216 0 0 25 0 1 0 1859996187 56401920 12053 4294967295 134512640 134578447 3221224624 3221223536 134516778 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12053 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 466.06
Current children cumulated vsize (Kb) 55080

[startup+480.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13786
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12089 0 0 0 47365 225 0 0 25 0 1 0 1859996187 56401920 12055 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12055 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 475.9
Current children cumulated vsize (Kb) 55080

[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13786
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12091 0 0 0 48355 229 0 0 25 0 1 0 1859996187 56401920 12057 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12057 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 485.84
Current children cumulated vsize (Kb) 55080

[startup+500.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13788
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12091 0 0 0 49343 233 0 0 25 0 1 0 1859996187 56401920 12057 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12057 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 495.76
Current children cumulated vsize (Kb) 55080

[startup+510.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13788
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12092 0 0 0 50335 237 0 0 25 0 1 0 1859996187 56401920 12058 4294967295 134512640 134578447 3221224624 3221223536 134516778 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12058 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 505.72
Current children cumulated vsize (Kb) 55080

[startup+520.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13788
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12092 0 0 0 51321 242 0 0 25 0 1 0 1859996187 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527773 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12058 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 515.63
Current children cumulated vsize (Kb) 55080

[startup+530.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13788
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12092 0 0 0 52308 247 0 0 25 0 1 0 1859996187 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12058 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 525.55
Current children cumulated vsize (Kb) 55080

[startup+540.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13788
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12092 0 0 0 53291 252 0 0 25 0 1 0 1859996187 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12058 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 535.43
Current children cumulated vsize (Kb) 55080

[startup+550.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13788
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12092 0 0 0 54281 255 0 0 25 0 1 0 1859996187 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12058 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 545.36
Current children cumulated vsize (Kb) 55080

[startup+560.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13790
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12092 0 0 0 55269 260 0 0 25 0 1 0 1859996187 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527733 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12058 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 555.29
Current children cumulated vsize (Kb) 55080

[startup+570.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13790
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12092 0 0 0 56256 264 0 0 25 0 1 0 1859996187 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12058 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 565.2
Current children cumulated vsize (Kb) 55080

[startup+580.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13790
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12092 0 0 0 57216 278 0 0 25 0 1 0 1859996187 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12058 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 574.94
Current children cumulated vsize (Kb) 55080

[startup+590.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13790
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12092 0 0 0 58198 284 0 0 25 0 1 0 1859996187 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13770/statm): 13770 12058 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 584.82
Current children cumulated vsize (Kb) 55080

[startup+600.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/57 13790
Raw data (/proc/13770/stat): 13770 (Pueblo) R 13769 13770 9102 0 -1 0 12092 0 0 0 59179 291 0 0 25 0 1 0 1859996187 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13770/statm): 13770 12058 566 18 0 13752 0
[pid=13770] vsize: 55080
Current children cumulated CPU time (s) 594.7
Current children cumulated vsize (Kb) 55080
One traced child (pid=13770) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 601.955
CPU time (s): 596.601
CPU user time (s): 593.655
CPU system time (s): 2.94655
CPU usage (%): 99.1106
Max. virtual memory (cumulated for all children) (Kb): 55080

Verifier Data

Verifier:	OK	3398