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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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.215
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 8089

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-20 15:40:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5237 boxname=wulflinc2 idbench=549 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  90db1995bd949fc5ac74143a523f3bcf  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-air01.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5237
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        881024 kB
Buffers:         32764 kB
Cached:          95704 kB
SwapCached:       1004 kB
Active:          55616 kB
Inactive:        75516 kB
HighTotal:      131008 kB
HighFree:        33768 kB
LowTotal:       903652 kB
LowFree:        847256 kB
SwapTotal:     2097136 kB
SwapFree:      2095552 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            16692 kB
Committed_AS:    72496 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 15:50:05 (client local time) WITH STATUS 30 IN 592.629 SECONDS
stats: 5237 0 592.629 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              : 592.59 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/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801473422 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 41 3 40 18 0 23 0
[pid=13552] 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.0031 s]
Raw data (loadavg): 0.93 0.97 0.90 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 1299 0 0 0 972 11 0 0 25 0 1 0 1801473422 6840320 1265 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 1670 1265 566 18 0 1652 0
[pid=13552] vsize: 6680
Current children cumulated CPU time (s) 9.83
Current children cumulated vsize (Kb) 6680

[startup+20.0039 s]
Raw data (loadavg): 0.94 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 2374 0 0 0 1906 35 0 0 25 0 1 0 1801473422 11243520 2340 4294967295 134512640 134578447 3221224624 3221223600 134530233 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 2745 2340 566 18 0 2727 0
[pid=13552] vsize: 10980
Current children cumulated CPU time (s) 19.41
Current children cumulated vsize (Kb) 10980

[startup+30.0046 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 11009 0 0 0 2839 69 0 0 25 0 1 0 1801473422 56401920 10975 4294967295 134512640 134578447 3221224624 3221223600 134531121 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 13770 10975 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 29.08
Current children cumulated vsize (Kb) 55080

[startup+40.0053 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12052 0 0 0 3810 83 0 0 25 0 1 0 1801473422 56401920 12018 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 13770 12018 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 38.93
Current children cumulated vsize (Kb) 55080

[startup+50.0059 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12063 0 0 0 4795 89 0 0 25 0 1 0 1801473422 56401920 12029 4294967295 134512640 134578447 3221224624 3221223504 134527818 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12029 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 48.84
Current children cumulated vsize (Kb) 55080

[startup+60.0057 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12065 0 0 0 5793 89 0 0 25 0 1 0 1801473422 56401920 12031 4294967295 134512640 134578447 3221224624 3221223504 134527773 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12031 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 58.82
Current children cumulated vsize (Kb) 55080

[startup+70.0064 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12066 0 0 0 6791 90 0 0 25 0 1 0 1801473422 56401920 12032 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12032 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 68.81
Current children cumulated vsize (Kb) 55080

[startup+80.0071 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12068 0 0 0 7790 91 0 0 25 0 1 0 1801473422 56401920 12034 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12034 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 78.81
Current children cumulated vsize (Kb) 55080

[startup+90.0078 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12068 0 0 0 8788 92 0 0 25 0 1 0 1801473422 56401920 12034 4294967295 134512640 134578447 3221224624 3221223504 134527782 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12034 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 88.8
Current children cumulated vsize (Kb) 55080

[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12068 0 0 0 9786 92 0 0 25 0 1 0 1801473422 56401920 12034 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12034 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 98.78
Current children cumulated vsize (Kb) 55080

[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12068 0 0 0 10784 93 0 0 25 0 1 0 1801473422 56401920 12034 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12034 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 108.77
Current children cumulated vsize (Kb) 55080

[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12069 0 0 0 11781 94 0 0 25 0 1 0 1801473422 56401920 12035 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12035 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 118.75
Current children cumulated vsize (Kb) 55080

[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12069 0 0 0 12776 95 0 0 25 0 1 0 1801473422 56401920 12035 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12035 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 128.71
Current children cumulated vsize (Kb) 55080

[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12070 0 0 0 13771 97 0 0 25 0 1 0 1801473422 56401920 12036 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 13770 12036 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 138.68
Current children cumulated vsize (Kb) 55080

[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12072 0 0 0 14767 98 0 0 25 0 1 0 1801473422 56401920 12038 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 13770 12038 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 148.65
Current children cumulated vsize (Kb) 55080

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12072 0 0 0 15765 99 0 0 25 0 1 0 1801473422 56401920 12038 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12038 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 158.64
Current children cumulated vsize (Kb) 55080

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12072 0 0 0 16764 99 0 0 25 0 1 0 1801473422 56401920 12038 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12038 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 168.63
Current children cumulated vsize (Kb) 55080

[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12072 0 0 0 17759 101 0 0 25 0 1 0 1801473422 56401920 12038 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 13770 12038 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 178.6
Current children cumulated vsize (Kb) 55080

[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12074 0 0 0 18758 101 0 0 25 0 1 0 1801473422 56401920 12040 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12040 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 188.59
Current children cumulated vsize (Kb) 55080

[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12075 0 0 0 19757 102 0 0 25 0 1 0 1801473422 56401920 12041 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12041 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 198.59
Current children cumulated vsize (Kb) 55080

[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12075 0 0 0 20756 102 0 0 25 0 1 0 1801473422 56401920 12041 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12041 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 208.58
Current children cumulated vsize (Kb) 55080

[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12075 0 0 0 21755 103 0 0 25 0 1 0 1801473422 56401920 12041 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12041 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 218.58
Current children cumulated vsize (Kb) 55080

[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12076 0 0 0 22754 103 0 0 25 0 1 0 1801473422 56401920 12042 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 13770 12042 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 228.57
Current children cumulated vsize (Kb) 55080

[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12076 0 0 0 23752 104 0 0 25 0 1 0 1801473422 56401920 12042 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12042 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 238.56
Current children cumulated vsize (Kb) 55080

[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12077 0 0 0 24750 105 0 0 25 0 1 0 1801473422 56401920 12043 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12043 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 248.55
Current children cumulated vsize (Kb) 55080

[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12077 0 0 0 25746 107 0 0 25 0 1 0 1801473422 56401920 12043 4294967295 134512640 134578447 3221224624 3221223504 134527759 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12043 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 258.53
Current children cumulated vsize (Kb) 55080

[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12077 0 0 0 26742 108 0 0 25 0 1 0 1801473422 56401920 12043 4294967295 134512640 134578447 3221224624 3221223504 134527773 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12043 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 268.5
Current children cumulated vsize (Kb) 55080

[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12077 0 0 0 27742 108 0 0 25 0 1 0 1801473422 56401920 12043 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12043 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 278.5
Current children cumulated vsize (Kb) 55080

[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12077 0 0 0 28742 108 0 0 25 0 1 0 1801473422 56401920 12043 4294967295 134512640 134578447 3221224624 3221223504 134527742 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12043 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 288.5
Current children cumulated vsize (Kb) 55080

[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12077 0 0 0 29742 108 0 0 25 0 1 0 1801473422 56401920 12043 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12043 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 298.5
Current children cumulated vsize (Kb) 55080

[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12077 0 0 0 30741 108 0 0 25 0 1 0 1801473422 56401920 12043 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12043 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 308.49
Current children cumulated vsize (Kb) 55080

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12078 0 0 0 31733 111 0 0 25 0 1 0 1801473422 56401920 12044 4294967295 134512640 134578447 3221224624 3221223504 134527782 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 13770 12044 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 318.44
Current children cumulated vsize (Kb) 55080

[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12079 0 0 0 32728 112 0 0 25 0 1 0 1801473422 56401920 12045 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12045 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 328.4
Current children cumulated vsize (Kb) 55080

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12080 0 0 0 33721 114 0 0 25 0 1 0 1801473422 56401920 12046 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12046 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 338.35
Current children cumulated vsize (Kb) 55080

[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12080 0 0 0 34706 120 0 0 25 0 1 0 1801473422 56401920 12046 4294967295 134512640 134578447 3221224624 3221223504 134527720 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 13770 12046 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 348.26
Current children cumulated vsize (Kb) 55080

[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12083 0 0 0 35679 130 0 0 25 0 1 0 1801473422 56401920 12049 4294967295 134512640 134578447 3221224624 3221223504 134527801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12049 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 358.09
Current children cumulated vsize (Kb) 55080

[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12085 0 0 0 36659 137 0 0 25 0 1 0 1801473422 56401920 12051 4294967295 134512640 134578447 3221224624 3221223504 134527773 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 13770 12051 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 367.96
Current children cumulated vsize (Kb) 55080

[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12085 0 0 0 37636 143 0 0 25 0 1 0 1801473422 56401920 12051 4294967295 134512640 134578447 3221224624 3221223504 134527733 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12051 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 377.79
Current children cumulated vsize (Kb) 55080

[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) T 13551 13552 6872 0 -1 0 12085 0 0 0 38598 155 0 0 25 0 1 0 1801473422 56401920 12051 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12051 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 387.53
Current children cumulated vsize (Kb) 55080

[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12086 0 0 0 39563 166 0 0 25 0 1 0 1801473422 56401920 12052 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 13770 12052 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 397.29
Current children cumulated vsize (Kb) 55080

[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12086 0 0 0 40539 174 0 0 25 0 1 0 1801473422 56401920 12052 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12052 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 407.13
Current children cumulated vsize (Kb) 55080

[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12086 0 0 0 41493 190 0 0 25 0 1 0 1801473422 56401920 12052 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 13770 12052 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 416.83
Current children cumulated vsize (Kb) 55080

[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12086 0 0 0 42472 197 0 0 25 0 1 0 1801473422 56401920 12052 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12052 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 426.69
Current children cumulated vsize (Kb) 55080

[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12086 0 0 0 43457 201 0 0 25 0 1 0 1801473422 56401920 12052 4294967295 134512640 134578447 3221224624 3221223504 134527733 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12052 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 436.58
Current children cumulated vsize (Kb) 55080

[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12087 0 0 0 44446 205 0 0 25 0 1 0 1801473422 56401920 12053 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12053 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 446.51
Current children cumulated vsize (Kb) 55080

[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12087 0 0 0 45420 214 0 0 25 0 1 0 1801473422 56401920 12053 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12053 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 456.34
Current children cumulated vsize (Kb) 55080

[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12088 0 0 0 46377 227 0 0 20 0 1 0 1801473422 56401920 12054 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12054 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 466.04
Current children cumulated vsize (Kb) 55080

[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12090 0 0 0 47357 233 0 0 25 0 1 0 1801473422 56401920 12056 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12056 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 475.9
Current children cumulated vsize (Kb) 55080

[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12091 0 0 0 48349 236 0 0 25 0 1 0 1801473422 56401920 12057 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12057 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 485.85
Current children cumulated vsize (Kb) 55080

[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12091 0 0 0 49339 239 0 0 25 0 1 0 1801473422 56401920 12057 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12057 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 495.78
Current children cumulated vsize (Kb) 55080

[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12092 0 0 0 50329 242 0 0 25 0 1 0 1801473422 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527768 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12058 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 505.71
Current children cumulated vsize (Kb) 55080

[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12092 0 0 0 51316 247 0 0 25 0 1 0 1801473422 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 13770 12058 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 515.63
Current children cumulated vsize (Kb) 55080

[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12092 0 0 0 52303 251 0 0 25 0 1 0 1801473422 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 13770 12058 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 525.54
Current children cumulated vsize (Kb) 55080

[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12092 0 0 0 53286 257 0 0 25 0 1 0 1801473422 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527818 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 13770 12058 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 535.43
Current children cumulated vsize (Kb) 55080

[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12092 0 0 0 54276 260 0 0 25 0 1 0 1801473422 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12058 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 545.36
Current children cumulated vsize (Kb) 55080

[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12092 0 0 0 55261 264 0 0 25 0 1 0 1801473422 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 13770 12058 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 555.25
Current children cumulated vsize (Kb) 55080

[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12092 0 0 0 56231 274 0 0 25 0 1 0 1801473422 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527818 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 13770 12058 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 565.05
Current children cumulated vsize (Kb) 55080

[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12092 0 0 0 57201 285 0 0 25 0 1 0 1801473422 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527790 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13552/statm): 13770 12058 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 574.86
Current children cumulated vsize (Kb) 55080

[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13552
Raw data (/proc/13552/stat): 13552 (Pueblo) R 13551 13552 6872 0 -1 0 12092 0 0 0 58189 289 0 0 25 0 1 0 1801473422 56401920 12058 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13552/statm): 13770 12058 566 18 0 13752 0
[pid=13552] vsize: 55080
Current children cumulated CPU time (s) 584.78
Current children cumulated vsize (Kb) 55080
One traced child (pid=13552) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 597.987
CPU time (s): 592.629
CPU user time (s): 589.655
CPU system time (s): 2.97355
CPU usage (%): 99.1039
Max. virtual memory (cumulated for all children) (Kb): 55080

Verifier Data

Verifier:	OK	3398