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-lp4l.opb
MD5SUM3c39e3c2b993ee2185e2a1a3e73b9723
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2967
Optimality of the best value was proved YES
Number of terms in the objective function 1086
Biggest coefficient in the objective function 283
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 197191
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 283
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 197191
Number of bits of the biggest sum of numbers18
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark312.791
Number of variables1086
Total number of constraints1171
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1170
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint1086

Trace number 5117

Launcher Data

LAUNCH ON wulflinc20 THE 2005-09-19 22:48:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=900 boxname=wulflinc20 idbench=900 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  3c39e3c2b993ee2185e2a1a3e73b9723  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-lp4l.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-lp4l.opb
IDLAUNCH: 900
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        869856 kB
Buffers:         41000 kB
Cached:          92876 kB
SwapCached:        832 kB
Active:          72808 kB
Inactive:        63772 kB
HighTotal:      131008 kB
HighFree:        34804 kB
LowTotal:       903652 kB
LowFree:        835052 kB
SwapTotal:     2097892 kB
SwapFree:      2096604 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            22720 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 22:54:01 (client local time) WITH STATUS 30 IN 312.791 SECONDS
stats: 900 0 312.791 30

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 1086 variables and 169 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.93
c After prepocess the problem consists of 1086 variables and 169 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 1086 #Dec: 1209 LB: 0 @ 1.54
c Restart #2 #Var: 1086 #Dec: 2656 LB: 0 @ 2.525
c NEW SOLUTION FOUND: 4731 @ 4.042 @ #Dec. 4445
c NEW SOLUTION FOUND: 4608 @ 4.805 @ #Dec. 4495
c NEW SOLUTION FOUND: 4593 @ 4.874 @ #Dec. 4495
c NEW SOLUTION FOUND: 4573 @ 4.89 @ #Dec. 4502
c Restart #3 #Var: 1086 #Dec: 5329 LB: 0 @ 8.037
c Restart #4 #Var: 1086 #Dec: 6259 LB: 0 @ 10.707
c Restart #5 #Var: 1086 #Dec: 7628 LB: 0 @ 13.128
c Restart #6 #Var: 1086 #Dec: 9136 LB: 0 @ 16.951
c NEW SOLUTION FOUND: 4313 @ 17.088 @ #Dec. 9224
c NEW SOLUTION FOUND: 4312 @ 17.094 @ #Dec. 9227
c NEW SOLUTION FOUND: 4310 @ 17.109 @ #Dec. 9232
c NEW SOLUTION FOUND: 4309 @ 17.133 @ #Dec. 9243
c NEW SOLUTION FOUND: 4282 @ 19.092 @ #Dec. 9764
c NEW SOLUTION FOUND: 4191 @ 19.095 @ #Dec. 9765
c NEW SOLUTION FOUND: 4188 @ 19.364 @ #Dec. 9826
c NEW SOLUTION FOUND: 4177 @ 23.181 @ #Dec. 10440
c NEW SOLUTION FOUND: 4173 @ 23.183 @ #Dec. 10440
c Restart #7 #Var: 1086 #Dec: 12043 LB: 0 @ 27.812
c Restart #8 #Var: 1086 #Dec: 13926 LB: 0 @ 35.958
c Restart #9 #Var: 1086 #Dec: 15964 LB: 0 @ 42.226
c Restart #10 #Var: 1086 #Dec: 18274 LB: 0 @ 47.951
c CHANGE to LPR mode... 	UB: 4173	MIS: 0	LPR: 2962 (0.307)	Diff: 0
c Restart #0 #Var: 1086 #Dec: 20919 LB: 0 @ 60.93
c NEW SOLUTION FOUND: 3291 @ 62.655 @ #Dec. 20926
c NEW SOLUTION FOUND: 3268 @ 63.881 @ #Dec. 20929
c NEW SOLUTION FOUND: 3266 @ 85.077 @ #Dec. 20992
c Restart #1 #Var: 1086 #Dec: 21192 LB: 2962 @ 139.8
c NEW SOLUTION FOUND: 3099 @ 142.06 @ #Dec. 21201
c Restart #2 #Var: 1086 #Dec: 21597 LB: 2962 @ 294.31
c NEW SOLUTION FOUND: 2967 @ 295.2 @ #Dec. 21600
s OPTIMUM FOUND
v -CO100001_bit0 -CO100002_bit0 -CO100003_bit0 -CO100004_bit0 -CO100005_bit0 CO100006_bit0 -CO100007_bit0 -CO100008_bit0 -CO100009_bit0 -CO100010_bit0 -CO100011_bit0 -CO100012_bit0 -CO100013_bit0 -CO100014_bit0 -CO100015_bit0 -CO100016_bit0 -CO100017_bit0 -CO100018_bit0 -CO100019_bit0 -CO100020_bit0 -CO100021_bit0 CO100022_bit0 -CO100023_bit0 -CO100024_bit0 -CO100025_bit0 -CO100026_bit0 CO100027_bit0 -CO100028_bit0 -CO100029_bit0 CO100030_bit0 -CO100031_bit0 -CO100032_bit0 -CO100033_bit0 -CO100034_bit0 -CO100035_bit0 -CO100036_bit0 -CO100037_bit0 CO100038_bit0 -CO100039_bit0 -CO100040_bit0 -CO100041_bit0 -CO100042_bit0 -CO100043_bit0 -CO100044_bit0 -CO100045_bit0 CO100046_bit0 -CO100047_bit0 -CO100048_bit0 -CO100049_bit0 -CO100050_bit0 -CO100051_bit0 -CO100052_bit0 -CO100053_bit0 -CO100054_bit0 -CO100055_bit0 -CO100056_bit0 -CO100057_bit0 -CO100058_bit0 -CO100059_bit0 -CO100060_bit0 -CO100061_bit0 -CO100062_bit0 -CO100063_bit0 -CO100064_bit0 -CO100065_bit0 CO100066_bit0 -CO100067_bit0 -CO100068_bit0 -CO100069_bit0 -CO100070_bit0 -CO100071_bit0 -CO100072_bit0 -CO100073_bit0 -CO100074_bit0 -CO100075_bit0 -CO100076_bit0 -CO100077_bit0 -CO100078_bit0 -CO100079_bit0 -CO100080_bit0 CO100081_bit0 -CO100082_bit0 -CO100083_bit0 -CO100084_bit0 -CO100085_bit0 -CO100086_bit0 -CO100087_bit0 -CO100088_bit0 -CO100089_bit0 -CO100090_bit0 -CO100091_bit0 CO100092_bit0 -CO100093_bit0 -CO100094_bit0 -CO100095_bit0 -CO100096_bit0 -CO100097_bit0 -CO100098_bit0 -CO100099_bit0 -CO100100_bit0 -CO100101_bit0 -CO100102_bit0 -CO100103_bit0 -CO100104_bit0 -CO100105_bit0 -CO100106_bit0 -CO100107_bit0 -CO100108_bit0 -CO100109_bit0 CO100110_bit0 -CO100111_bit0 -CO100112_bit0 -CO100113_bit0 CO100114_bit0 -CO100115_bit0 -CO100116_bit0 -CO100117_bit0 -CO100118_bit0 -CO100119_bit0 -CO100120_bit0 -CO100121_bit0 -CO100122_bit0 -CO100123_bit0 -CO100124_bit0 -CO100125_bit0 -CO100126_bit0 -CO100127_bit0 CO100128_bit0 -CO100129_bit0 -CO100130_bit0 -CO100131_bit0 CO100132_bit0 -CO100133_bit0 -CO100134_bit0 -CO100135_bit0 -CO100136_bit0 -CO100137_bit0 -CO100138_bit0 -CO100139_bit0 -CO100140_bit0 -CO100141_bit0 -CO100142_bit0 -CO100143_bit0 -CO100144_bit0 -CO100145_bit0 -CO100146_bit0 -CO100147_bit0 -CO100148_bit0 -CO100149_bit0 -CO100150_bit0 -CO100151_bit0 -CO100152_bit0 -CO100153_bit0 -CO100154_bit0 -CO100155_bit0 -CO100156_bit0 -CO100157_bit0 -CO100158_bit0 -CO100159_bit0 -CO100160_bit0 -CO100161_bit0 -CO100162_bit0 -CO100163_bit0 -CO100164_bit0 -CO100165_bit0 CO100166_bit0 -CO100167_bit0 -CO100168_bit0 CO100169_bit0 -CO100170_bit0 -CO100171_bit0 -CO100172_bit0 -CO100173_bit0 -CO100174_bit0 -CO100175_bit0 -CO100176_bit0 -CO100177_bit0 -CO100178_bit0 -CO100179_bit0 -CO100180_bit0 -CO100181_bit0 -CO100182_bit0 -CO100183_bit0 -CO100184_bit0 -CO100185_bit0 -CO100186_bit0 -CO100187_bit0 -CO100188_bit0 -CO100189_bit0 -CO100190_bit0 -CO100191_bit0 -CO100192_bit0 -CO100193_bit0 -CO100194_bit0 -CO100195_bit0 -CO100196_bit0 -CO100197_bit0 -CO100198_bit0 -CO100199_bit0 -CO100200_bit0 -CO100201_bit0 -CO100202_bit0 -CO100203_bit0 -CO100204_bit0 -CO100205_bit0 -CO100206_bit0 -CO100207_bit0 -CO100208_bit0 -CO100209_bit0 -CO100210_bit0 -CO100211_bit0 -CO100212_bit0 -CO100213_bit0 -CO100214_bit0 -CO100215_bit0 -CO100216_bit0 -CO100217_bit0 -CO100218_bit0 -CO100219_bit0 -CO100220_bit0 -CO100221_bit0 -CO100222_bit0 -CO100223_bit0 -CO100224_bit0 -CO100225_bit0 -CO100226_bit0 -CO100227_bit0 -CO100228_bit0 -CO100229_bit0 -CO100230_bit0 -CO100231_bit0 -CO100232_bit0 -CO100233_bit0 -CO100234_bit0 -CO100235_bit0 CO100236_bit0 -CO100237_bit0 -CO100238_bit0 -CO100239_bit0 -CO100240_bit0 -CO100241_bit0 -CO100242_bit0 -CO100243_bit0 -CO100244_bit0 -CO100245_bit0 -CO100246_bit0 -CO100247_bit0 -CO100248_bit0 -CO100249_bit0 -CO100250_bit0 -CO100251_bit0 -CO100252_bit0 -CO100253_bit0 -CO100254_bit0 -CO100255_bit0 -CO100256_bit0 -CO100257_bit0 -CO100258_bit0 -CO100259_bit0 -CO100260_bit0 -CO100261_bit0 -CO100262_bit0 -CO100263_bit0 -CO100264_bit0 -CO100265_bit0 -CO100266_bit0 -CO100267_bit0 -CO100268_bit0 -CO100269_bit0 -CO100270_bit0 -CO100271_bit0 -CO100272_bit0 -CO100273_bit0 -CO100274_bit0 -CO100275_bit0 -CO100276_bit0 -CO100277_bit0 -CO100278_bit0 -CO100279_bit0 -CO100280_bit0 -CO100281_bit0 -CO100282_bit0 -CO100283_bit0 -CO100284_bit0 -CO100285_bit0 -CO100286_bit0 -CO100287_bit0 -CO100288_bit0 -CO100289_bit0 -CO100290_bit0 -CO100291_bit0 -CO100292_bit0 -CO100293_bit0 CO100294_bit0 -CO100295_bit0 -CO100296_bit0 -CO100297_bit0 -CO100298_bit0 -CO100299_bit0 -CO100300_bit0 -CO100301_bit0 -CO100302_bit0 -CO100303_bit0 -CO100304_bit0 -CO100305_bit0 -CO100306_bit0 -CO100307_bit0 -CO100308_bit0 -CO100309_bit0 -CO100310_bit0 -CO100311_bit0 -CO100312_bit0 -CO100313_bit0 -CO100314_bit0 -CO100315_bit0 -CO100316_bit0 -CO100317_bit0 -CO100318_bit0 -CO100319_bit0 -CO100320_bit0 -CO100321_bit0 -CO100322_bit0 -CO100323_bit0 -CO100324_bit0 -CO100325_bit0 -CO100326_bit0 -CO100327_bit0 -CO100328_bit0 -CO100329_bit0 -CO100330_bit0 -CO100331_bit0 -CO100332_bit0 -CO100333_bit0 -CO100334_bit0 -CO100335_bit0 -CO100336_bit0 -CO100337_bit0 -CO100338_bit0 -CO100339_bit0 -CO100340_bit0 -CO100341_bit0 -CO100342_bit0 -CO100343_bit0 -CO100344_bit0 -CO100345_bit0 -CO100346_bit0 -CO100347_bit0 -CO100348_bit0 -CO100349_bit0 -CO100350_bit0 -CO100351_bit0 -CO100352_bit0 -CO100353_bit0 -CO100354_bit0 -CO100355_bit0 -CO100356_bit0 -CO100357_bit0 -CO100358_bit0 -CO100359_bit0 -CO100360_bit0 -CO100361_bit0 -CO100362_bit0 -CO100363_bit0 -CO100364_bit0 -CO100365_bit0 -CO100366_bit0 -CO100367_bit0 -CO100368_bit0 -CO100369_bit0 -CO100370_bit0 -CO100371_bit0 -CO100372_bit0 -CO100373_bit0 -CO100374_bit0 -CO100375_bit0 -CO100376_bit0 -CO100377_bit0 -CO100378_bit0 -CO100379_bit0 -CO100380_bit0 -CO100381_bit0 -CO100382_bit0 -CO100383_bit0 -CO100384_bit0 -CO100385_bit0 -CO100386_bit0 -CO100387_bit0 -CO100388_bit0 -CO100389_bit0 -CO100390_bit0 -CO100391_bit0 -CO100392_bit0 -CO100393_bit0 -CO100394_bit0 -CO100395_bit0 -CO100396_bit0 -CO100397_bit0 -CO100398_bit0 -CO100399_bit0 -CO100400_bit0 -CO100401_bit0 -CO100402_bit0 -CO100403_bit0 -CO100404_bit0 -CO100405_bit0 -CO100406_bit0 -CO100407_bit0 -CO100408_bit0 -CO100409_bit0 -CO100410_bit0 -CO100411_bit0 -CO100412_bit0 -CO100413_bit0 -CO100414_bit0 -CO100415_bit0 -CO100416_bit0 -CO100417_bit0 -CO100418_bit0 -CO100419_bit0 -CO100420_bit0 -CO100421_bit0 -CO100422_bit0 -CO100423_bit0 -CO100424_bit0 -CO100425_bit0 -CO100426_bit0 -CO100427_bit0 -CO100428_bit0 -CO100429_bit0 -CO100430_bit0 -CO100431_bit0 -CO100432_bit0 -CO100433_bit0 -CO100434_bit0 -CO100435_bit0 -CO100436_bit0 -CO100437_bit0 -CO100438_bit0 -CO100439_bit0 -CO100440_bit0 -CO100441_bit0 -CO100442_bit0 CO100443_bit0 -CO100444_bit0 -CO100445_bit0 -CO100446_bit0 -CO100447_bit0 -CO100448_bit0 -CO100449_bit0 -CO100450_bit0 -CO100451_bit0 -CO100452_bit0 -CO100453_bit0 -CO100454_bit0 -CO100455_bit0 -CO100456_bit0 -CO100457_bit0 -CO100458_bit0 -CO100459_bit0 -CO100460_bit0 -CO100461_bit0 -CO100462_bit0 -CO100463_bit0 -CO100464_bit0 -CO100465_bit0 -CO100466_bit0 -CO100467_bit0 -CO100468_bit0 -CO100469_bit0 -CO100470_bit0 -CO100471_bit0 -CO100472_bit0 -CO100473_bit0 -CO100474_bit0 -CO100475_bit0 -CO100476_bit0 -CO100477_bit0 -CO100478_bit0 -CO100479_bit0 -CO100480_bit0 -CO100481_bit0 -CO100482_bit0 -CO100483_bit0 -CO100484_bit0 -CO100485_bit0 -CO100486_bit0 -CO100487_bit0 -CO100488_bit0 -CO100489_bit0 -CO100490_bit0 -CO100491_bit0 -CO100492_bit0 -CO100493_bit0 -CO100494_bit0 -CO100495_bit0 -CO100496_bit0 -CO100497_bit0 -CO100498_bit0 -CO100499_bit0 -CO100500_bit0 -CO100501_bit0 -CO100502_bit0 -CO100503_bit0 -CO100504_bit0 -CO100505_bit0 -CO100506_bit0 -CO100507_bit0 -CO100508_bit0 -CO100509_bit0 -CO100510_bit0 -CO100511_bit0 -CO100512_bit0 -CO100513_bit0 -CO100514_bit0 -CO100515_bit0 -CO100516_bit0 -CO100517_bit0 -CO100518_bit0 -CO100519_bit0 -CO100520_bit0 -CO100521_bit0 -CO100522_bit0 -CO100523_bit0 -CO100524_bit0 -CO100525_bit0 -CO100526_bit0 -CO100527_bit0 -CO100528_bit0 -CO100529_bit0 -CO100530_bit0 -CO100531_bit0 -CO100532_bit0 -CO100533_bit0 -CO100534_bit0 -CO100535_bit0 -CO100536_bit0 -CO100537_bit0 -CO100538_bit0 -CO100539_bit0 -CO100540_bit0 -CO100541_bit0 -CO100542_bit0 -CO100543_bit0 -CO100544_bit0 -CO100545_bit0 -CO100546_bit0 -CO100547_bit0 -CO100548_bit0 -CO100549_bit0 -CO100550_bit0 -CO100551_bit0 -CO100552_bit0 -CO100553_bit0 -CO100554_bit0 -CO100555_bit0 -CO100556_bit0 -CO100557_bit0 -CO100558_bit0 -CO100559_bit0 -CO100560_bit0 -CO100561_bit0 -CO100562_bit0 -CO100563_bit0 -CO100564_bit0 -CO100565_bit0 -CO100566_bit0 -CO100567_bit0 -CO100568_bit0 -CO100569_bit0 -CO100570_bit0 -CO100571_bit0 -CO100572_bit0 -CO100573_bit0 -CO100574_bit0 -CO100575_bit0 -CO100576_bit0 -CO100577_bit0 -CO100578_bit0 -CO100579_bit0 -CO100580_bit0 -CO100581_bit0 -CO100582_bit0 -CO100583_bit0 -CO100584_bit0 -CO100585_bit0 -CO100586_bit0 -CO100587_bit0 -CO100588_bit0 -CO100589_bit0 -CO100590_bit0 CO100591_bit0 -CO100592_bit0 -CO100593_bit0 -CO100594_bit0 -CO100595_bit0 -CO100596_bit0 -CO100597_bit0 -CO100598_bit0 -CO100599_bit0 -CO100600_bit0 -CO100601_bit0 -CO100602_bit0 -CO100603_bit0 -CO100604_bit0 -CO100605_bit0 -CO100606_bit0 -CO100607_bit0 -CO100608_bit0 -CO100609_bit0 -CO100610_bit0 -CO100611_bit0 -CO100612_bit0 -CO100613_bit0 -CO100614_bit0 -CO100615_bit0 -CO100616_bit0 -CO100617_bit0 -CO100618_bit0 -CO100619_bit0 -CO100620_bit0 -CO100621_bit0 -CO100622_bit0 -CO100623_bit0 -CO100624_bit0 -CO100625_bit0 -CO100626_bit0 -CO100627_bit0 -CO100628_bit0 -CO100629_bit0 -CO100630_bit0 -CO100631_bit0 -CO100632_bit0 -CO100633_bit0 -CO100634_bit0 -CO100635_bit0 -CO100636_bit0 -CO100637_bit0 CO100638_bit0 -CO100639_bit0 -CO100640_bit0 -CO100641_bit0 -CO100642_bit0 -CO100643_bit0 -CO100644_bit0 -CO100645_bit0 -CO100646_bit0 -CO100647_bit0 -CO100648_bit0 -CO100649_bit0 -CO100650_bit0 -CO100651_bit0 -CO100652_bit0 -CO100653_bit0 -CO100654_bit0 -CO100655_bit0 -CO100656_bit0 -CO100657_bit0 -CO100658_bit0 -CO100659_bit0 -CO100660_bit0 -CO100661_bit0 -CO100662_bit0 -CO100663_bit0 -CO100664_bit0 -CO100665_bit0 -CO100666_bit0 -CO100667_bit0 -CO100668_bit0 -CO100669_bit0 -CO100670_bit0 -CO100671_bit0 -CO100672_bit0 -CO100673_bit0 -CO100674_bit0 -CO100675_bit0 -CO100676_bit0 -CO100677_bit0 -CO100678_bit0 -CO100679_bit0 -CO100680_bit0 -CO100681_bit0 -CO100682_bit0 -CO100683_bit0 -CO100684_bit0 -CO100685_bit0 -CO100686_bit0 -CO100687_bit0 -CO100688_bit0 -CO100689_bit0 -CO100690_bit0 -CO100691_bit0 -CO100692_bit0 -CO100693_bit0 -CO100694_bit0 -CO100695_bit0 -CO100696_bit0 -CO100697_bit0 -CO100698_bit0 -CO100699_bit0 -CO100700_bit0 -CO100701_bit0 -CO100702_bit0 -CO100703_bit0 -CO100704_bit0 -CO100705_bit0 -CO100706_bit0 -CO100707_bit0 -CO100708_bit0 -CO100709_bit0 -CO100710_bit0 -CO100711_bit0 -CO100712_bit0 -CO100713_bit0 -CO100714_bit0 -CO100715_bit0 -CO100716_bit0 -CO100717_bit0 -CO100718_bit0 -CO100719_bit0 -CO100720_bit0 -CO100721_bit0 -CO100722_bit0 -CO100723_bit0 -CO100724_bit0 -CO100725_bit0 -CO100726_bit0 -CO100727_bit0 -CO100728_bit0 -CO100729_bit0 -CO100730_bit0 -CO100731_bit0 -CO100732_bit0 -CO100733_bit0 -CO100734_bit0 -CO100735_bit0 -CO100736_bit0 -CO100737_bit0 -CO100738_bit0 -CO100739_bit0 -CO100740_bit0 -CO100741_bit0 -CO100742_bit0 -CO100743_bit0 -CO100744_bit0 -CO100745_bit0 -CO100746_bit0 -CO100747_bit0 -CO100748_bit0 -CO100749_bit0 -CO100750_bit0 -CO100751_bit0 -CO100752_bit0 -CO100753_bit0 -CO100754_bit0 -CO100755_bit0 -CO100756_bit0 -CO100757_bit0 -CO100758_bit0 -CO100759_bit0 -CO100760_bit0 -CO100761_bit0 -CO100762_bit0 CO100763_bit0 -CO100764_bit0 -CO100765_bit0 -CO100766_bit0 -CO100767_bit0 -CO100768_bit0 -CO100769_bit0 -CO100770_bit0 -CO100771_bit0 -CO100772_bit0 -CO100773_bit0 -CO100774_bit0 -CO100775_bit0 -CO100776_bit0 -CO100777_bit0 -CO100778_bit0 -CO100779_bit0 -CO100780_bit0 -CO100781_bit0 -CO100782_bit0 -CO100783_bit0 -CO100784_bit0 -CO100785_bit0 -CO100786_bit0 -CO100787_bit0 -CO100788_bit0 -CO100789_bit0 -CO100790_bit0 -CO100791_bit0 -CO100792_bit0 -CO100793_bit0 -CO100794_bit0 -CO100795_bit0 -CO100796_bit0 -CO100797_bit0 -CO100798_bit0 -CO100799_bit0 -CO100800_bit0 -CO100801_bit0 -CO100802_bit0 -CO100803_bit0 -CO100804_bit0 -CO100805_bit0 -CO100806_bit0 -CO100807_bit0 -CO100808_bit0 -CO100809_bit0 -CO100810_bit0 -CO100811_bit0 -CO100812_bit0 -CO100813_bit0 -CO100814_bit0 -CO100815_bit0 -CO100816_bit0 -CO100817_bit0 -CO100818_bit0 -CO100819_bit0 -CO100820_bit0 -CO100821_bit0 -CO100822_bit0 -CO100823_bit0 -CO100824_bit0 -CO100825_bit0 -CO100826_bit0 -CO100827_bit0 -CO100828_bit0 -CO100829_bit0 -CO100830_bit0 -CO100831_bit0 -CO100832_bit0 -CO100833_bit0 -CO100834_bit0 -CO100835_bit0 -CO100836_bit0 -CO100837_bit0 -CO100838_bit0 -CO100839_bit0 -CO100840_bit0 -CO100841_bit0 -CO100842_bit0 -CO100843_bit0 -CO100844_bit0 -CO100845_bit0 -CO100846_bit0 -CO100847_bit0 -CO100848_bit0 -CO100849_bit0 -CO100850_bit0 -CO100851_bit0 -CO100852_bit0 -CO100853_bit0 -CO100854_bit0 -CO100855_bit0 -CO100856_bit0 -CO100857_bit0 -CO100858_bit0 -CO100859_bit0 -CO100860_bit0 -CO100861_bit0 -CO100862_bit0 -CO100863_bit0 -CO100864_bit0 -CO100865_bit0 -CO100866_bit0 -CO100867_bit0 -CO100868_bit0 -CO100869_bit0 -CO100870_bit0 -CO100871_bit0 CO100872_bit0 -CO100873_bit0 -CO100874_bit0 -CO100875_bit0 -CO100876_bit0 -CO100877_bit0 -CO100878_bit0 -CO100879_bit0 -CO100880_bit0 -CO100881_bit0 -CO100882_bit0 -CO100883_bit0 -CO100884_bit0 CO100885_bit0 -CO100886_bit0 -CO100887_bit0 -CO100888_bit0 -CO100889_bit0 -CO100890_bit0 -CO100891_bit0 -CO100892_bit0 -CO100893_bit0 -CO100894_bit0 -CO100895_bit0 -CO100896_bit0 -CO100897_bit0 -CO100898_bit0 -CO100899_bit0 -CO100900_bit0 -CO100901_bit0 -CO100902_bit0 -CO100903_bit0 -CO100904_bit0 -CO100905_bit0 -CO100906_bit0 -CO100907_bit0 -CO100908_bit0 -CO100909_bit0 -CO100910_bit0 -CO100911_bit0 -CO100912_bit0 -CO100913_bit0 -CO100914_bit0 -CO100915_bit0 -CO100916_bit0 -CO100917_bit0 -CO100918_bit0 -CO100919_bit0 -CO100920_bit0 -CO100921_bit0 -CO100922_bit0 -CO100923_bit0 -CO100924_bit0 -CO100925_bit0 -CO100926_bit0 -CO100927_bit0 CO100928_bit0 -CO100929_bit0 -CO100930_bit0 -CO100931_bit0 -CO100932_bit0 -CO100933_bit0 -CO100934_bit0 -CO100935_bit0 -CO100936_bit0 -CO100937_bit0 -CO100938_bit0 -CO100939_bit0 -CO100940_bit0 -CO100941_bit0 -CO100942_bit0 -CO100943_bit0 -CO100944_bit0 -CO100945_bit0 -CO100946_bit0 -CO100947_bit0 -CO100948_bit0 -CO100949_bit0 -CO100950_bit0 -CO100951_bit0 -CO100952_bit0 CO100953_bit0 -CO100954_bit0 -CO100955_bit0 -CO100956_bit0 -CO100957_bit0 -CO100958_bit0 -CO100959_bit0 -CO100960_bit0 -CO100961_bit0 -CO100962_bit0 -CO100963_bit0 -CO100964_bit0 -CO100965_bit0 -CO100966_bit0 -CO100967_bit0 -CO100968_bit0 -CO100969_bit0 -CO100970_bit0 -CO100971_bit0 -CO100972_bit0 -CO100973_bit0 -CO100974_bit0 -CO100975_bit0 -CO100976_bit0 -CO100977_bit0 -CO100978_bit0 -CO100979_bit0 -CO100980_bit0 -CO100981_bit0 -CO100982_bit0 -CO100983_bit0 -CO100984_bit0 -CO100985_bit0 -CO100986_bit0 -CO100987_bit0 -CO100988_bit0 -CO100989_bit0 -CO100990_bit0 -CO100991_bit0 -CO100992_bit0 -CO100993_bit0 -CO100994_bit0 -CO100995_bit0 -CO100996_bit0 -CO100997_bit0 -CO100998_bit0 -CO100999_bit0 -CO101000_bit0 -CO101001_bit0 -CO101002_bit0 -CO101003_bit0 -CO101004_bit0 -CO101005_bit0 -CO101006_bit0 -CO101007_bit0 -CO101008_bit0 -CO101009_bit0 -CO101010_bit0 -CO101011_bit0 -CO101012_bit0 -CO101013_bit0 -CO101014_bit0 -CO101015_bit0 -CO101016_bit0 -CO101017_bit0 -CO101018_bit0 -CO101019_bit0 -CO101020_bit0 -CO101021_bit0 -CO101022_bit0 -CO101023_bit0 -CO101024_bit0 -CO101025_bit0 -CO101026_bit0 -CO101027_bit0 -CO101028_bit0 -CO101029_bit0 -CO101030_bit0 -CO101031_bit0 -CO101032_bit0 CO101033_bit0 -CO101034_bit0 -CO101035_bit0 -CO101036_bit0 -CO101037_bit0 -CO101038_bit0 -CO101039_bit0 -CO101040_bit0 -CO101041_bit0 -CO101042_bit0 -CO101043_bit0 -CO101044_bit0 -CO101045_bit0 -CO101046_bit0 -CO101047_bit0 -CO101048_bit0 -CO101049_bit0 -CO101050_bit0 -CO101051_bit0 -CO101052_bit0 CO101053_bit0 -CO101054_bit0 -CO101055_bit0 -CO101056_bit0 -CO101057_bit0 -CO101058_bit0 -CO101059_bit0 -CO101060_bit0 -CO101061_bit0 -CO101062_bit0 -CO101063_bit0 -CO101064_bit0 -CO101065_bit0 -CO101066_bit0 -CO101067_bit0 -CO101068_bit0 -CO101069_bit0 -CO101070_bit0 -CO101071_bit0 -CO101072_bit0 -CO101073_bit0 -CO101074_bit0 -CO101075_bit0 -CO101076_bit0 -CO101077_bit0 -CO101078_bit0 -CO101079_bit0 -CO101080_bit0 -CO101081_bit0 -CO101082_bit0 -CO101083_bit0 -CO101084_bit0 -CO101085_bit0 -CO101086_bit0 
c Cost: 2967
c Exit Code: 30
c Total time: 312.75 s

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/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1853619422 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25335/statm): 107 3 90 68 0 39 0
[pid=25335] vsize: 428
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libosl.so
open syscall for file tls/i686/libosl.so
open syscall for file tls/mmx/libosl.so
open syscall for file tls/libosl.so
open syscall for file i686/mmx/libosl.so
open syscall for file i686/libosl.so
open syscall for file mmx/libosl.so
open syscall for file libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/libosl.so
open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/libstdc++-libc6.2-2.so.3
open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/libstdc++-libc6.2-2.so.3
open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file i686/libstdc++-libc6.2-2.so.3
open syscall for file mmx/libstdc++-libc6.2-2.so.3
open syscall for file libstdc++-libc6.2-2.so.3
open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3
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/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
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
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 /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-lp4l.opb

[startup+10.0038 s]
Raw data (loadavg): 0.93 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 7932 0 0 0 942 30 0 0 25 0 1 0 1853619422 35631104 7843 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 8699 7843 1116 68 0 8631 0
[pid=25335] vsize: 34796
Current children cumulated CPU time (s) 9.72
Current children cumulated vsize (Kb) 34796

[startup+20.0045 s]
Raw data (loadavg): 0.94 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 8572 0 0 0 1921 39 0 0 25 0 1 0 1853619422 38191104 8483 4294967295 134512640 134736556 3221224560 3221223144 134716375 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 9324 8483 1116 68 0 9256 0
[pid=25335] vsize: 37296
Current children cumulated CPU time (s) 19.6
Current children cumulated vsize (Kb) 37296

[startup+30.0052 s]
Raw data (loadavg): 0.95 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 9091 0 0 0 2902 47 0 0 25 0 1 0 1853619422 40329216 9002 4294967295 134512640 134736556 3221224560 3221223104 134544590 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 9846 9002 1116 68 0 9778 0
[pid=25335] vsize: 39384
Current children cumulated CPU time (s) 29.49
Current children cumulated vsize (Kb) 39384

[startup+40.0059 s]
Raw data (loadavg): 0.95 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 9720 0 0 0 3885 53 0 0 25 0 1 0 1853619422 42897408 9631 4294967295 134512640 134736556 3221224560 3221222924 1077379840 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25335/statm): 10473 9631 1116 68 0 10405 0
[pid=25335] vsize: 41892
Current children cumulated CPU time (s) 39.38
Current children cumulated vsize (Kb) 41892

[startup+50.0066 s]
Raw data (loadavg): 0.96 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 10411 0 0 0 4864 62 0 0 25 0 1 0 1853619422 45735936 10322 4294967295 134512640 134736556 3221224560 3221223152 134540200 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11166 10322 1116 68 0 11098 0
[pid=25335] vsize: 44664
Current children cumulated CPU time (s) 49.26
Current children cumulated vsize (Kb) 44664

[startup+60.0063 s]
Raw data (loadavg): 0.97 0.97 0.99 1/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) T 25334 25335 2660 0 -1 0 10727 0 0 0 5853 65 0 0 25 0 1 0 1853619422 47071232 10638 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11492 10638 1116 68 0 11424 0
[pid=25335] vsize: 45968
Current children cumulated CPU time (s) 59.18
Current children cumulated vsize (Kb) 45968

[startup+70.007 s]
Raw data (loadavg): 0.97 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 13076 0 0 0 6830 75 0 0 25 0 1 0 1853619422 48652288 11117 4294967295 134512640 134736556 3221224560 3221220740 1075115117 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11878 11117 1116 68 0 11810 0
[pid=25335] vsize: 47512
Current children cumulated CPU time (s) 69.05
Current children cumulated vsize (Kb) 47512

[startup+80.0077 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) T 25334 25335 2660 0 -1 0 16533 0 0 0 7797 90 0 0 25 0 1 0 1853619422 48533504 11140 4294967295 134512640 134736556 3221224560 3221221356 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11849 11140 1116 68 0 11781 0
[pid=25335] vsize: 47396
Current children cumulated CPU time (s) 78.87
Current children cumulated vsize (Kb) 47396

[startup+90.0075 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 20187 0 0 0 8757 108 0 0 25 0 1 0 1853619422 48287744 11099 4294967295 134512640 134736556 3221224560 3221222168 1073978472 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25335/statm): 11789 11099 1116 68 0 11721 0
[pid=25335] vsize: 47156
Current children cumulated CPU time (s) 88.65
Current children cumulated vsize (Kb) 47156

[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 24928 0 0 0 9702 131 0 0 25 0 1 0 1853619422 48594944 11129 4294967295 134512640 134736556 3221224560 3221222240 1075828462 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11864 11129 1116 68 0 11796 0
[pid=25335] vsize: 47456
Current children cumulated CPU time (s) 98.33
Current children cumulated vsize (Kb) 47456

[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.99 1/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) T 25334 25335 2660 0 -1 0 29643 0 0 0 10659 150 0 0 25 0 1 0 1853619422 48324608 11107 4294967295 134512640 134736556 3221224560 3221221500 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11798 11107 1116 68 0 11730 0
[pid=25335] vsize: 47192
Current children cumulated CPU time (s) 108.09
Current children cumulated vsize (Kb) 47192

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 34046 0 0 0 11608 171 0 0 25 0 1 0 1853619422 48447488 11138 4294967295 134512640 134736556 3221224560 3221223088 134550905 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11828 11138 1116 68 0 11760 0
[pid=25335] vsize: 47312
Current children cumulated CPU time (s) 117.79
Current children cumulated vsize (Kb) 47312

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 38122 0 0 0 12558 193 0 0 25 0 1 0 1853619422 48644096 11147 4294967295 134512640 134736556 3221224560 3221222432 1075799727 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11876 11147 1116 68 0 11808 0
[pid=25335] vsize: 47504
Current children cumulated CPU time (s) 127.51
Current children cumulated vsize (Kb) 47504

[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 41375 0 0 0 13515 210 0 0 25 0 1 0 1853619422 48525312 11143 4294967295 134512640 134736556 3221224560 3221222512 1074918944 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11847 11143 1116 68 0 11779 0
[pid=25335] vsize: 47388
Current children cumulated CPU time (s) 137.25
Current children cumulated vsize (Kb) 47388

[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 43214 0 0 0 14493 219 0 0 25 0 1 0 1853619422 48713728 11203 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25335/statm): 11893 11203 1116 68 0 11825 0
[pid=25335] vsize: 47572
Current children cumulated CPU time (s) 147.12
Current children cumulated vsize (Kb) 47572

[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 43933 0 0 0 15478 224 0 0 25 0 1 0 1853619422 48713728 11203 4294967295 134512640 134736556 3221224560 3221222616 1074138166 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11893 11203 1116 68 0 11825 0
[pid=25335] vsize: 47572
Current children cumulated CPU time (s) 157.02
Current children cumulated vsize (Kb) 47572

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 44725 0 0 0 16464 230 0 0 25 0 1 0 1853619422 48713728 11203 4294967295 134512640 134736556 3221224560 3221222512 1074916690 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11893 11203 1116 68 0 11825 0
[pid=25335] vsize: 47572
Current children cumulated CPU time (s) 166.94
Current children cumulated vsize (Kb) 47572

[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 45991 0 0 0 17449 237 0 0 25 0 1 0 1853619422 48713728 11203 4294967295 134512640 134736556 3221224560 3221222880 134682706 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11893 11203 1116 68 0 11825 0
[pid=25335] vsize: 47572
Current children cumulated CPU time (s) 176.86
Current children cumulated vsize (Kb) 47572

[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 47513 0 0 0 18434 244 0 0 25 0 1 0 1853619422 48783360 11205 4294967295 134512640 134736556 3221224560 3221222512 1074918931 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11910 11205 1116 68 0 11842 0
[pid=25335] vsize: 47640
Current children cumulated CPU time (s) 186.78
Current children cumulated vsize (Kb) 47640

[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 48767 0 0 0 19419 252 0 0 25 0 1 0 1853619422 48713728 11203 4294967295 134512640 134736556 3221224560 3221221616 1074139130 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11893 11203 1116 68 0 11825 0
[pid=25335] vsize: 47572
Current children cumulated CPU time (s) 196.71
Current children cumulated vsize (Kb) 47572

[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 50218 0 0 0 20402 259 0 0 25 0 1 0 1853619422 49020928 11227 4294967295 134512640 134736556 3221224560 3221220368 1074871152 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11968 11227 1116 68 0 11900 0
[pid=25335] vsize: 47872
Current children cumulated CPU time (s) 206.61
Current children cumulated vsize (Kb) 47872

[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 51886 0 0 0 21386 267 0 0 25 0 1 0 1853619422 48943104 11232 4294967295 134512640 134736556 3221224560 3221220556 1074873474 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11949 11232 1116 68 0 11881 0
[pid=25335] vsize: 47796
Current children cumulated CPU time (s) 216.53
Current children cumulated vsize (Kb) 47796

[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 53092 0 0 0 22370 274 0 0 25 0 1 0 1853619422 48713728 11203 4294967295 134512640 134736556 3221224560 3221217808 134682786 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11893 11203 1116 68 0 11825 0
[pid=25335] vsize: 47572
Current children cumulated CPU time (s) 226.44
Current children cumulated vsize (Kb) 47572

[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 54521 0 0 0 23348 284 0 0 25 0 1 0 1853619422 49020928 11221 4294967295 134512640 134736556 3221224560 3221220524 1074788971 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11968 11221 1116 68 0 11900 0
[pid=25335] vsize: 47872
Current children cumulated CPU time (s) 236.32
Current children cumulated vsize (Kb) 47872

[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 56477 0 0 0 24326 292 0 0 25 0 1 0 1853619422 48889856 11218 4294967295 134512640 134736556 3221224560 3221220656 1074971189 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11936 11218 1116 68 0 11868 0
[pid=25335] vsize: 47744
Current children cumulated CPU time (s) 246.18
Current children cumulated vsize (Kb) 47744

[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 58341 0 0 0 25307 299 0 0 25 0 1 0 1853619422 48984064 11244 4294967295 134512640 134736556 3221224560 3221220740 1075115127 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25335/statm): 11959 11244 1116 68 0 11891 0
[pid=25335] vsize: 47836
Current children cumulated CPU time (s) 256.06
Current children cumulated vsize (Kb) 47836

[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 59921 0 0 0 26292 306 0 0 25 0 1 0 1853619422 49061888 11228 4294967295 134512640 134736556 3221224560 3221220672 1074794655 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11978 11228 1116 68 0 11910 0
[pid=25335] vsize: 47912
Current children cumulated CPU time (s) 265.98
Current children cumulated vsize (Kb) 47912

[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 61704 0 0 0 27273 314 0 0 25 0 1 0 1853619422 48881664 11204 4294967295 134512640 134736556 3221224560 3221222160 1075818331 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11934 11204 1116 68 0 11866 0
[pid=25335] vsize: 47736
Current children cumulated CPU time (s) 275.87
Current children cumulated vsize (Kb) 47736

[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 64328 0 0 0 28255 324 0 0 25 0 1 0 1853619422 48861184 11225 4294967295 134512640 134736556 3221224560 3221222624 1074867340 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11929 11225 1116 68 0 11861 0
[pid=25335] vsize: 47716
Current children cumulated CPU time (s) 285.79
Current children cumulated vsize (Kb) 47716

[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 66873 0 0 0 29237 333 0 0 25 0 1 0 1853619422 49197056 11295 4294967295 134512640 134736556 3221224560 3221220496 1074875093 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/25335/statm): 12011 11295 1116 68 0 11943 0
[pid=25335] vsize: 48044
Current children cumulated CPU time (s) 295.7
Current children cumulated vsize (Kb) 48044

[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 25335
Raw data (/proc/25335/stat): 25335 (bsolo) R 25334 25335 2660 0 -1 0 70382 0 0 0 30217 344 0 0 25 0 1 0 1853619422 48799744 11224 4294967295 134512640 134736556 3221224560 3221222256 1075636586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/25335/statm): 11914 11224 1116 68 0 11846 0
[pid=25335] vsize: 47656
Current children cumulated CPU time (s) 305.61
Current children cumulated vsize (Kb) 47656
One traced child (pid=25335) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 317.263
CPU time (s): 312.791
CPU user time (s): 309.246
CPU system time (s): 3.54546
CPU usage (%): 98.5905
Max. virtual memory (cumulated for all children) (Kb): 48044

Verifier Data

Verifier:	OK	2967