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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50a.opb
MD5SUM493fb4fa67dc1b7120e0eba521ce7d8c
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -60000
Optimality of the best value was proved YES
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 8589934592
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 22548578283
Number of bits of the biggest sum of numbers35
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark14.5268
Number of variables1440
Total number of constraints49
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints49
Minimum length of a constraint60
Maximum length of a constraint120

Trace number 9927

Launcher Data

LAUNCH ON wulflinc5 THE 2005-09-23 16:08:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8659 boxname=wulflinc5 idbench=455 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  493fb4fa67dc1b7120e0eba521ce7d8c  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-sc50a.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-sc50a.opb
IDLAUNCH: 8659
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.158
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.158
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:        935868 kB
Buffers:         14796 kB
Cached:          65580 kB
SwapCached:          0 kB
Active:          44036 kB
Inactive:        39216 kB
HighTotal:      131008 kB
HighFree:        61544 kB
LowTotal:       903652 kB
LowFree:        874324 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10052 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:14:32 (client local time) WITH STATUS 30 IN 327.453 SECONDS
stats: 8659 0 327.453 30

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 10911/32850	Time: 2.6206/86400
c Decision: 11165/32850	Time: 4.92325/86400
c Decision: 11433/32850	Time: 6.80397/86400
c Decision: 11433/32850	Time: 8.58769/86400
c Decision: 11596/32850	Time: 11.2433/86400
c Decision: 11596/32850	Time: 13.8549/86400
c Decision: 11596/32850	Time: 16.0426/86400
c Decision: 11596/32850	Time: 19.2111/86400
c Decision: 11596/32850	Time: 21.5597/86400
c Decision: 11596/32850	Time: 24.5213/86400
c Decision: 11903/32850	Time: 29.4575/86400
c Decision: 11908/32850	Time: 35.4376/86400
c Decision: 11908/32850	Time: 38.0782/86400
c Decision: 11908/32850	Time: 41.6697/86400
c Decision: 11908/32850	Time: 44.9582/86400
c Decision: 11911/32850	Time: 51.3372/86400
c Decision: 12052/32850	Time: 55.5776/86400
c Decision: 12090/32850	Time: 63.8863/86400
c Decision: 12090/32850	Time: 67.2398/86400
c Decision: 12090/32850	Time: 71.3921/86400
c Decision: 12090/32850	Time: 75.6395/86400
c Decision: 12090/32850	Time: 78.2981/86400
c Decision: 12186/32850	Time: 87.4407/86400
c Decision: 12186/32850	Time: 92.4589/86400
c Decision: 12186/32850	Time: 97.0492/86400
c Decision: 12186/32850	Time: 101.527/86400
c Decision: 12189/32850	Time: 107.457/86400
c got solution with objective value: 1073741823
c small objective detected
c CONFLICT during preprocess 

c [startup+112.727 s]  setting bit 29 to 0
c CONFLICT during preprocess 

c [startup+112.837 s]  setting bit 28 to 0
c CONFLICT during preprocess 

c [startup+112.947 s]  setting bit 27 to 0
c CONFLICT during preprocess 

c [startup+113.058 s]  setting bit 26 to 0
c CONFLICT during preprocess 

c [startup+113.17 s]  setting bit 25 to 0
c CONFLICT during preprocess 

c [startup+113.282 s]  setting bit 24 to 0
c CONFLICT during preprocess 

c [startup+113.395 s]  setting bit 23 to 0
c CONFLICT during preprocess 

c [startup+113.51 s]  setting bit 22 to 0
c CONFLICT during preprocess 

c [startup+113.625 s]  setting bit 21 to 0
c CONFLICT during preprocess 

c [startup+113.742 s]  setting bit 20 to 0
c CONFLICT during preprocess 

c [startup+113.861 s]  setting bit 19 to 0
c CONFLICT during preprocess 

c [startup+113.981 s]  setting bit 18 to 0
c CONFLICT during preprocess 

c [startup+114.103 s]  setting bit 17 to 0

c Decision: 15385/32939	Time: 22.0356/86400
c Decision: 15404/32939	Time: 23.7604/86400
c Decision: 16057/32939	Time: 34.9097/86400
c Decision: 16088/32939	Time: 37.5213/86400
c Decision: 16191/32939	Time: 40.7718/86400
c Decision: 16206/32939	Time: 43.3924/86400
c Decision: 16206/32939	Time: 46.177/86400
c Decision: 16206/32939	Time: 48.4666/86400
c Decision: 16224/32939	Time: 51.1772/86400
c Decision: 16278/32939	Time: 59.369/86400
c Decision: 16278/32939	Time: 62.3085/86400
c Decision: 16278/32939	Time: 65.2411/86400
c Decision: 16278/32939	Time: 68.2476/86400
c Decision: 16281/32939	Time: 73.7548/86400
c Decision: 16281/32939	Time: 77.1033/86400
c Decision: 16318/32939	Time: 80.7007/86400
c Decision: 16406/32939	Time: 87.7357/86400
c Decision: 16505/32939	Time: 91.5621/86400
c Decision: 16513/32939	Time: 101.6/86400
c Decision: 16567/32939	Time: 107.057/86400
c Decision: 16567/32939	Time: 111.005/86400
c [startup+234.71 s]  setting bit 16 to 0

c Decision: 12425/32939	Time: 3.33749/86400
c Decision: 12435/32939	Time: 7.2209/86400
c Decision: 12478/32939	Time: 13.6549/86400
c Decision: 12480/32939	Time: 17.2784/86400
c Decision: 12480/32939	Time: 20.7828/86400
c Decision: 12480/32939	Time: 24.5273/86400
c Decision: 12522/32939	Time: 34.0388/86400
c got solution with objective value: 1073681823
c [startup+272.923 s]  setting bit 15 to 1

c Decision: 12708/32939	Time: 2.6546/86400
c Decision: 12708/32939	Time: 5.55816/86400
c Decision: 13051/32939	Time: 14.5608/86400
c Decision: 13054/32939	Time: 17.9223/86400
c Decision: 13211/32939	Time: 20.4899/86400
c got solution with objective value: 1073681823
c [startup+302.372 s]  setting bit 14 to 1

c Decision: 13793/32939	Time: 2.90856/86400
c Decision: 13899/32939	Time: 6.06208/86400
c Decision: 13899/32939	Time: 8.50271/86400
c Decision: 13899/32939	Time: 11.2553/86400
c Decision: 13899/32939	Time: 14.2418/86400
c Decision: 13958/32939	Time: 17.4513/86400
c Decision: 13958/32939	Time: 20.7388/86400
c Decision: 14053/32939	Time: 24.0563/86400
c got solution with objective value: 1073681823
c [startup+328.332 s]  setting bit 13 to 1

c [startup+329.426 s]  setting bit 12 to 0

c got solution with objective value: 1073681823
c [startup+330.481 s]  setting bit 11 to 1

c [startup+330.66 s]  setting bit 10 to 0

c got solution with objective value: 1073681823
c [startup+331.141 s]  setting bit 9 to 1

c [startup+331.317 s]  setting bit 8 to 0

c [startup+331.504 s]  setting bit 7 to 0

c got solution with objective value: 1073681823
c [startup+331.764 s]  setting bit 6 to 1

c [startup+331.95 s]  setting bit 5 to 0

c got solution with objective value: 1073681823
c [startup+332.176 s]  setting bit 4 to 1

c got solution with objective value: 1073681823
c [startup+332.423 s]  setting bit 3 to 1

c got solution with objective value: 1073681823
c [startup+332.67 s]  setting bit 2 to 1

c got solution with objective value: 1073681823
c [startup+332.895 s]  setting bit 1 to 1

c got solution with objective value: 1073681823
c [startup+333.115 s]  setting bit 0 to 1
s OPTIMUM FOUND
v -COL00001_bit0 -COL00001_bit1 -COL00001_bit10 -COL00001_bit11 -COL00001_bit12 -COL00001_bit13 -COL00001_bit14 -COL00001_bit15 -COL00001_bit16 -COL00001_bit17 -COL00001_bit18 -COL00001_bit19 -COL00001_bit2 -COL00001_bit3 -COL00001_bit4 -COL00001_bit5 -COL00001_bit6 -COL00001_bit7 -COL00001_bit8 -COL00001_bit9 -COL00001_bit_1 -COL00001_bit_10 -COL00001_bit_2 -COL00001_bit_3 -COL00001_bit_4 -COL00001_bit_5 -COL00001_bit_6 -COL00001_bit_7 -COL00001_bit_8 -COL00001_bit_9 -COL00002_bit0 -COL00002_bit1 -COL00002_bit10 -COL00002_bit11 -COL00002_bit12 -COL00002_bit13 -COL00002_bit14 -COL00002_bit15 -COL00002_bit16 -COL00002_bit17 -COL00002_bit18 -COL00002_bit19 -COL00002_bit2 -COL00002_bit3 COL00002_bit4 -COL00002_bit5 -COL00002_bit6 -COL00002_bit7 -COL00002_bit8 -COL00002_bit9 -COL00002_bit_1 -COL00002_bit_10 -COL00002_bit_2 -COL00002_bit_3 -COL00002_bit_4 -COL00002_bit_5 -COL00002_bit_6 -COL00002_bit_7 -COL00002_bit_8 -COL00002_bit_9 -COL00003_bit0 -COL00003_bit1 -COL00003_bit10 -COL00003_bit11 -COL00003_bit12 -COL00003_bit13 -COL00003_bit14 -COL00003_bit15 -COL00003_bit16 -COL00003_bit17 -COL00003_bit18 -COL00003_bit19 -COL00003_bit2 -COL00003_bit3 -COL00003_bit4 -COL00003_bit5 COL00003_bit6 -COL00003_bit7 -COL00003_bit8 -COL00003_bit9 -COL00003_bit_1 -COL00003_bit_10 -COL00003_bit_2 -COL00003_bit_3 -COL00003_bit_4 -COL00003_bit_5 -COL00003_bit_6 -COL00003_bit_7 -COL00003_bit_8 -COL00003_bit_9 -COL00004_bit0 COL00004_bit1 -COL00004_bit10 -COL00004_bit11 -COL00004_bit12 -COL00004_bit13 -COL00004_bit14 -COL00004_bit15 -COL00004_bit16 -COL00004_bit17 -COL00004_bit18 -COL00004_bit19 -COL00004_bit2 COL00004_bit3 COL00004_bit4 COL00004_bit5 -COL00004_bit6 -COL00004_bit7 -COL00004_bit8 -COL00004_bit9 COL00004_bit_1 -COL00004_bit_10 -COL00004_bit_2 -COL00004_bit_3 COL00004_bit_4 COL00004_bit_5 -COL00004_bit_6 -COL00004_bit_7 -COL00004_bit_8 -COL00004_bit_9 -COL00005_bit0 COL00005_bit1 -COL00005_bit10 -COL00005_bit11 -COL00005_bit12 -COL00005_bit13 -COL00005_bit14 -COL00005_bit15 -COL00005_bit16 -COL00005_bit17 -COL00005_bit18 -COL00005_bit19 -COL00005_bit2 COL00005_bit3 COL00005_bit4 COL00005_bit5 -COL00005_bit6 -COL00005_bit7 -COL00005_bit8 -COL00005_bit9 COL00005_bit_1 -COL00005_bit_10 -COL00005_bit_2 -COL00005_bit_3 COL00005_bit_4 COL00005_bit_5 -COL00005_bit_6 -COL00005_bit_7 -COL00005_bit_8 -COL00005_bit_9 -COL00006_bit0 -COL00006_bit1 -COL00006_bit10 -COL00006_bit11 -COL00006_bit12 -COL00006_bit13 -COL00006_bit14 -COL00006_bit15 -COL00006_bit16 -COL00006_bit17 -COL00006_bit18 -COL00006_bit19 -COL00006_bit2 -COL00006_bit3 -COL00006_bit4 -COL00006_bit5 -COL00006_bit6 -COL00006_bit7 -COL00006_bit8 -COL00006_bit9 -COL00006_bit_1 -COL00006_bit_10 -COL00006_bit_2 -COL00006_bit_3 -COL00006_bit_4 -COL00006_bit_5 -COL00006_bit_6 -COL00006_bit_7 -COL00006_bit_8 -COL00006_bit_9 -COL00007_bit0 -COL00007_bit1 -COL00007_bit10 -COL00007_bit11 -COL00007_bit12 -COL00007_bit13 -COL00007_bit14 -COL00007_bit15 -COL00007_bit16 -COL00007_bit17 -COL00007_bit18 -COL00007_bit19 -COL00007_bit2 -COL00007_bit3 COL00007_bit4 -COL00007_bit5 -COL00007_bit6 -COL00007_bit7 -COL00007_bit8 -COL00007_bit9 -COL00007_bit_1 -COL00007_bit_10 -COL00007_bit_2 -COL00007_bit_3 -COL00007_bit_4 -COL00007_bit_5 -COL00007_bit_6 -COL00007_bit_7 -COL00007_bit_8 -COL00007_bit_9 -COL00008_bit0 -COL00008_bit1 -COL00008_bit10 -COL00008_bit11 -COL00008_bit12 -COL00008_bit13 -COL00008_bit14 -COL00008_bit15 -COL00008_bit16 -COL00008_bit17 -COL00008_bit18 -COL00008_bit19 -COL00008_bit2 -COL00008_bit3 -COL00008_bit4 -COL00008_bit5 COL00008_bit6 -COL00008_bit7 -COL00008_bit8 -COL00008_bit9 -COL00008_bit_1 -COL00008_bit_10 -COL00008_bit_2 -COL00008_bit_3 -COL00008_bit_4 -COL00008_bit_5 -COL00008_bit_6 -COL00008_bit_7 -COL00008_bit_8 -COL00008_bit_9 -COL00009_bit0 -COL00009_bit1 -COL00009_bit10 -COL00009_bit11 -COL00009_bit12 -COL00009_bit13 -COL00009_bit14 -COL00009_bit15 -COL00009_bit16 -COL00009_bit17 -COL00009_bit18 -COL00009_bit19 -COL00009_bit2 -COL00009_bit3 -COL00009_bit4 -COL00009_bit5 -COL00009_bit6 -COL00009_bit7 -COL00009_bit8 -COL00009_bit9 -COL00009_bit_1 -COL00009_bit_10 -COL00009_bit_2 -COL00009_bit_3 -COL00009_bit_4 -COL00009_bit_5 -COL00009_bit_6 -COL00009_bit_7 -COL00009_bit_8 -COL00009_bit_9 -COL00010_bit0 -COL00010_bit1 -COL00010_bit10 -COL00010_bit11 -COL00010_bit12 -COL00010_bit13 -COL00010_bit14 -COL00010_bit15 -COL00010_bit16 -COL00010_bit17 -COL00010_bit18 -COL00010_bit19 -COL00010_bit2 -COL00010_bit3 COL00010_bit4 -COL00010_bit5 -COL00010_bit6 -COL00010_bit7 -COL00010_bit8 -COL00010_bit9 -COL00010_bit_1 -COL00010_bit_10 -COL00010_bit_2 -COL00010_bit_3 -COL00010_bit_4 -COL00010_bit_5 -COL00010_bit_6 -COL00010_bit_7 -COL00010_bit_8 -COL00010_bit_9 -COL00011_bit0 -COL00011_bit1 -COL00011_bit10 -COL00011_bit11 -COL00011_bit12 -COL00011_bit13 -COL00011_bit14 -COL00011_bit15 -COL00011_bit16 -COL00011_bit17 -COL00011_bit18 -COL00011_bit19 COL00011_bit2 COL00011_bit3 COL00011_bit4 COL00011_bit5 -COL00011_bit6 -COL00011_bit7 -COL00011_bit8 -COL00011_bit9 -COL00011_bit_1 -COL00011_bit_10 -COL00011_bit_2 -COL00011_bit_3 -COL00011_bit_4 COL00011_bit_5 COL00011_bit_6 -COL00011_bit_7 -COL00011_bit_8 -COL00011_bit_9 -COL00012_bit0 -COL00012_bit1 -COL00012_bit10 -COL00012_bit11 -COL00012_bit12 -COL00012_bit13 -COL00012_bit14 -COL00012_bit15 -COL00012_bit16 -COL00012_bit17 -COL00012_bit18 -COL00012_bit19 -COL00012_bit2 COL00012_bit3 COL00012_bit4 -COL00012_bit5 -COL00012_bit6 -COL00012_bit7 -COL00012_bit8 -COL00012_bit9 -COL00012_bit_1 COL00012_bit_10 -COL00012_bit_2 -COL00012_bit_3 COL00012_bit_4 -COL00012_bit_5 -COL00012_bit_6 -COL00012_bit_7 -COL00012_bit_8 COL00012_bit_9 COL00013_bit0 COL00013_bit1 -COL00013_bit10 -COL00013_bit11 -COL00013_bit12 -COL00013_bit13 -COL00013_bit14 -COL00013_bit15 -COL00013_bit16 -COL00013_bit17 -COL00013_bit18 -COL00013_bit19 COL00013_bit2 COL00013_bit3 -COL00013_bit4 -COL00013_bit5 -COL00013_bit6 -COL00013_bit7 -COL00013_bit8 -COL00013_bit9 COL00013_bit_1 COL00013_bit_10 COL00013_bit_2 -COL00013_bit_3 COL00013_bit_4 COL00013_bit_5 -COL00013_bit_6 -COL00013_bit_7 COL00013_bit_8 COL00013_bit_9 COL00014_bit0 COL00014_bit1 -COL00014_bit10 -COL00014_bit11 -COL00014_bit12 -COL00014_bit13 -COL00014_bit14 -COL00014_bit15 -COL00014_bit16 -COL00014_bit17 -COL00014_bit18 -COL00014_bit19 -COL00014_bit2 COL00014_bit3 COL00014_bit4 COL00014_bit5 -COL00014_bit6 -COL00014_bit7 -COL00014_bit8 -COL00014_bit9 COL00014_bit_1 COL00014_bit_10 COL00014_bit_2 COL00014_bit_3 COL00014_bit_4 COL00014_bit_5 COL00014_bit_6 COL00014_bit_7 COL00014_bit_8 COL00014_bit_9 -COL00015_bit0 -COL00015_bit1 -COL00015_bit10 -COL00015_bit11 -COL00015_bit12 -COL00015_bit13 -COL00015_bit14 -COL00015_bit15 -COL00015_bit16 -COL00015_bit17 -COL00015_bit18 -COL00015_bit19 -COL00015_bit2 -COL00015_bit3 -COL00015_bit4 -COL00015_bit5 COL00015_bit6 -COL00015_bit7 -COL00015_bit8 -COL00015_bit9 -COL00015_bit_1 -COL00015_bit_10 COL00015_bit_2 COL00015_bit_3 COL00015_bit_4 -COL00015_bit_5 COL00015_bit_6 -COL00015_bit_7 -COL00015_bit_8 -COL00015_bit_9 COL00016_bit0 COL00016_bit1 -COL00016_bit10 -COL00016_bit11 -COL00016_bit12 -COL00016_bit13 -COL00016_bit14 -COL00016_bit15 -COL00016_bit16 -COL00016_bit17 -COL00016_bit18 -COL00016_bit19 -COL00016_bit2 COL00016_bit3 COL00016_bit4 COL00016_bit5 COL00016_bit6 -COL00016_bit7 -COL00016_bit8 -COL00016_bit9 -COL00016_bit_1 -COL00016_bit_10 -COL00016_bit_2 -COL00016_bit_3 -COL00016_bit_4 COL00016_bit_5 COL00016_bit_6 -COL00016_bit_7 -COL00016_bit_8 -COL00016_bit_9 -COL00017_bit0 -COL00017_bit1 -COL00017_bit10 -COL00017_bit11 -COL00017_bit12 -COL00017_bit13 -COL00017_bit14 -COL00017_bit15 -COL00017_bit16 -COL00017_bit17 -COL00017_bit18 -COL00017_bit19 -COL00017_bit2 COL00017_bit3 COL00017_bit4 -COL00017_bit5 -COL00017_bit6 -COL00017_bit7 -COL00017_bit8 -COL00017_bit9 -COL00017_bit_1 COL00017_bit_10 -COL00017_bit_2 -COL00017_bit_3 COL00017_bit_4 -COL00017_bit_5 -COL00017_bit_6 -COL00017_bit_7 -COL00017_bit_8 COL00017_bit_9 COL00018_bit0 COL00018_bit1 -COL00018_bit10 -COL00018_bit11 -COL00018_bit12 -COL00018_bit13 -COL00018_bit14 -COL00018_bit15 -COL00018_bit16 -COL00018_bit17 -COL00018_bit18 -COL00018_bit19 COL00018_bit2 COL00018_bit3 COL00018_bit4 -COL00018_bit5 -COL00018_bit6 -COL00018_bit7 -COL00018_bit8 -COL00018_bit9 COL00018_bit_1 COL00018_bit_10 COL00018_bit_2 -COL00018_bit_3 COL00018_bit_4 COL00018_bit_5 -COL00018_bit_6 -COL00018_bit_7 COL00018_bit_8 COL00018_bit_9 COL00019_bit0 COL00019_bit1 -COL00019_bit10 -COL00019_bit11 -COL00019_bit12 -COL00019_bit13 -COL00019_bit14 -COL00019_bit15 -COL00019_bit16 -COL00019_bit17 -COL00019_bit18 -COL00019_bit19 -COL00019_bit2 COL00019_bit3 COL00019_bit4 COL00019_bit5 COL00019_bit6 -COL00019_bit7 -COL00019_bit8 -COL00019_bit9 COL00019_bit_1 COL00019_bit_10 COL00019_bit_2 COL00019_bit_3 COL00019_bit_4 COL00019_bit_5 COL00019_bit_6 COL00019_bit_7 COL00019_bit_8 COL00019_bit_9 -COL00020_bit0 -COL00020_bit1 -COL00020_bit10 -COL00020_bit11 -COL00020_bit12 -COL00020_bit13 -COL00020_bit14 -COL00020_bit15 -COL00020_bit16 -COL00020_bit17 -COL00020_bit18 -COL00020_bit19 -COL00020_bit2 COL00020_bit3 COL00020_bit4 -COL00020_bit5 -COL00020_bit6 -COL00020_bit7 -COL00020_bit8 -COL00020_bit9 -COL00020_bit_1 -COL00020_bit_10 -COL00020_bit_2 -COL00020_bit_3 -COL00020_bit_4 -COL00020_bit_5 COL00020_bit_6 -COL00020_bit_7 COL00020_bit_8 -COL00020_bit_9 COL00021_bit0 COL00021_bit1 -COL00021_bit10 -COL00021_bit11 -COL00021_bit12 -COL00021_bit13 -COL00021_bit14 -COL00021_bit15 -COL00021_bit16 -COL00021_bit17 -COL00021_bit18 -COL00021_bit19 COL00021_bit2 COL00021_bit3 COL00021_bit4 -COL00021_bit5 -COL00021_bit6 -COL00021_bit7 -COL00021_bit8 -COL00021_bit9 COL00021_bit_1 COL00021_bit_10 COL00021_bit_2 -COL00021_bit_3 COL00021_bit_4 COL00021_bit_5 -COL00021_bit_6 -COL00021_bit_7 COL00021_bit_8 COL00021_bit_9 COL00022_bit0 COL00022_bit1 -COL00022_bit10 -COL00022_bit11 -COL00022_bit12 -COL00022_bit13 -COL00022_bit14 -COL00022_bit15 -COL00022_bit16 -COL00022_bit17 -COL00022_bit18 -COL00022_bit19 -COL00022_bit2 COL00022_bit3 COL00022_bit4 COL00022_bit5 COL00022_bit6 -COL00022_bit7 -COL00022_bit8 -COL00022_bit9 COL00022_bit_1 COL00022_bit_10 -COL00022_bit_2 -COL00022_bit_3 -COL00022_bit_4 COL00022_bit_5 -COL00022_bit_6 -COL00022_bit_7 COL00022_bit_8 COL00022_bit_9 -COL00023_bit0 -COL00023_bit1 -COL00023_bit10 -COL00023_bit11 -COL00023_bit12 -COL00023_bit13 -COL00023_bit14 -COL00023_bit15 -COL00023_bit16 -COL00023_bit17 -COL00023_bit18 -COL00023_bit19 -COL00023_bit2 -COL00023_bit3 -COL00023_bit4 -COL00023_bit5 -COL00023_bit6 -COL00023_bit7 -COL00023_bit8 -COL00023_bit9 -COL00023_bit_1 -COL00023_bit_10 -COL00023_bit_2 -COL00023_bit_3 -COL00023_bit_4 -COL00023_bit_5 -COL00023_bit_6 -COL00023_bit_7 -COL00023_bit_8 -COL00023_bit_9 -COL00024_bit0 -COL00024_bit1 -COL00024_bit10 -COL00024_bit11 -COL00024_bit12 -COL00024_bit13 -COL00024_bit14 -COL00024_bit15 -COL00024_bit16 -COL00024_bit17 -COL00024_bit18 -COL00024_bit19 COL00024_bit2 COL00024_bit3 COL00024_bit4 -COL00024_bit5 -COL00024_bit6 -COL00024_bit7 -COL00024_bit8 -COL00024_bit9 -COL00024_bit_1 COL00024_bit_10 COL00024_bit_2 COL00024_bit_3 COL00024_bit_4 -COL00024_bit_5 -COL00024_bit_6 -COL00024_bit_7 COL00024_bit_8 -COL00024_bit_9 COL00025_bit0 -COL00025_bit1 -COL00025_bit10 -COL00025_bit11 -COL00025_bit12 -COL00025_bit13 -COL00025_bit14 -COL00025_bit15 -COL00025_bit16 -COL00025_bit17 -COL00025_bit18 -COL00025_bit19 COL00025_bit2 -COL00025_bit3 -COL00025_bit4 -COL00025_bit5 COL00025_bit6 -COL00025_bit7 -COL00025_bit8 -COL00025_bit9 COL00025_bit_1 -COL00025_bit_10 COL00025_bit_2 COL00025_bit_3 COL00025_bit_4 COL00025_bit_5 -COL00025_bit_6 COL00025_bit_7 -COL00025_bit_8 -COL00025_bit_9 -COL00026_bit0 COL00026_bit1 -COL00026_bit10 -COL00026_bit11 -COL00026_bit12 -COL00026_bit13 -COL00026_bit14 -COL00026_bit15 -COL00026_bit16 -COL00026_bit17 -COL00026_bit18 -COL00026_bit19 COL00026_bit2 -COL00026_bit3 -COL00026_bit4 -COL00026_bit5 COL00026_bit6 -COL00026_bit7 -COL00026_bit8 -COL00026_bit9 COL00026_bit_1 -COL00026_bit_10 COL00026_bit_2 COL00026_bit_3 -COL00026_bit_4 -COL00026_bit_5 COL00026_bit_6 COL00026_bit_7 -COL00026_bit_8 -COL00026_bit_9 COL00027_bit0 -COL00027_bit1 -COL00027_bit10 -COL00027_bit11 -COL00027_bit12 -COL00027_bit13 -COL00027_bit14 -COL00027_bit15 -COL00027_bit16 -COL00027_bit17 -COL00027_bit18 -COL00027_bit19 -COL00027_bit2 -COL00027_bit3 -COL00027_bit4 -COL00027_bit5 COL00027_bit6 COL00027_bit7 -COL00027_bit8 -COL00027_bit9 COL00027_bit_1 -COL00027_bit_10 COL00027_bit_2 COL00027_bit_3 COL00027_bit_4 -COL00027_bit_5 -COL00027_bit_6 COL00027_bit_7 -COL00027_bit_8 -COL00027_bit_9 -COL00028_bit0 -COL00028_bit1 -COL00028_bit10 -COL00028_bit11 -COL00028_bit12 -COL00028_bit13 -COL00028_bit14 -COL00028_bit15 -COL00028_bit16 -COL00028_bit17 -COL00028_bit18 -COL00028_bit19 -COL00028_bit2 COL00028_bit3 COL00028_bit4 -COL00028_bit5 -COL00028_bit6 -COL00028_bit7 -COL00028_bit8 -COL00028_bit9 -COL00028_bit_1 COL00028_bit_10 -COL00028_bit_2 -COL00028_bit_3 COL00028_bit_4 -COL00028_bit_5 -COL00028_bit_6 -COL00028_bit_7 -COL00028_bit_8 COL00028_bit_9 -COL00029_bit0 -COL00029_bit1 -COL00029_bit10 -COL00029_bit11 -COL00029_bit12 -COL00029_bit13 -COL00029_bit14 -COL00029_bit15 -COL00029_bit16 -COL00029_bit17 -COL00029_bit18 -COL00029_bit19 COL00029_bit2 COL00029_bit3 COL00029_bit4 COL00029_bit5 -COL00029_bit6 -COL00029_bit7 -COL00029_bit8 -COL00029_bit9 -COL00029_bit_1 -COL00029_bit_10 COL00029_bit_2 -COL00029_bit_3 -COL00029_bit_4 COL00029_bit_5 -COL00029_bit_6 COL00029_bit_7 COL00029_bit_8 -COL00029_bit_9 COL00030_bit0 -COL00030_bit1 -COL00030_bit10 -COL00030_bit11 -COL00030_bit12 -COL00030_bit13 -COL00030_bit14 -COL00030_bit15 -COL00030_bit16 -COL00030_bit17 -COL00030_bit18 -COL00030_bit19 -COL00030_bit2 -COL00030_bit3 -COL00030_bit4 -COL00030_bit5 COL00030_bit6 COL00030_bit7 -COL00030_bit8 -COL00030_bit9 COL00030_bit_1 COL00030_bit_10 COL00030_bit_2 COL00030_bit_3 COL00030_bit_4 COL00030_bit_5 -COL00030_bit_6 -COL00030_bit_7 COL00030_bit_8 COL00030_bit_9 -COL00031_bit0 -COL00031_bit1 -COL00031_bit10 -COL00031_bit11 -COL00031_bit12 -COL00031_bit13 -COL00031_bit14 -COL00031_bit15 -COL00031_bit16 -COL00031_bit17 -COL00031_bit18 -COL00031_bit19 -COL00031_bit2 COL00031_bit3 COL00031_bit4 -COL00031_bit5 -COL00031_bit6 -COL00031_bit7 -COL00031_bit8 -COL00031_bit9 -COL00031_bit_1 -COL00031_bit_10 -COL00031_bit_2 -COL00031_bit_3 -COL00031_bit_4 -COL00031_bit_5 COL00031_bit_6 -COL00031_bit_7 -COL00031_bit_8 -COL00031_bit_9 -COL00032_bit0 -COL00032_bit1 -COL00032_bit10 -COL00032_bit11 -COL00032_bit12 -COL00032_bit13 -COL00032_bit14 -COL00032_bit15 -COL00032_bit16 -COL00032_bit17 -COL00032_bit18 -COL00032_bit19 COL00032_bit2 COL00032_bit3 COL00032_bit4 COL00032_bit5 -COL00032_bit6 -COL00032_bit7 -COL00032_bit8 -COL00032_bit9 -COL00032_bit_1 -COL00032_bit_10 COL00032_bit_2 -COL00032_bit_3 -COL00032_bit_4 COL00032_bit_5 -COL00032_bit_6 COL00032_bit_7 COL00032_bit_8 -COL00032_bit_9 COL00033_bit0 -COL00033_bit1 -COL00033_bit10 -COL00033_bit11 -COL00033_bit12 -COL00033_bit13 -COL00033_bit14 -COL00033_bit15 -COL00033_bit16 -COL00033_bit17 -COL00033_bit18 -COL00033_bit19 -COL00033_bit2 -COL00033_bit3 -COL00033_bit4 -COL00033_bit5 COL00033_bit6 COL00033_bit7 -COL00033_bit8 -COL00033_bit9 COL00033_bit_1 COL00033_bit_10 COL00033_bit_2 COL00033_bit_3 COL00033_bit_4 -COL00033_bit_5 COL00033_bit_6 COL00033_bit_7 -COL00033_bit_8 COL00033_bit_9 -COL00034_bit0 -COL00034_bit1 -COL00034_bit10 -COL00034_bit11 -COL00034_bit12 -COL00034_bit13 -COL00034_bit14 -COL00034_bit15 -COL00034_bit16 -COL00034_bit17 -COL00034_bit18 -COL00034_bit19 -COL00034_bit2 -COL00034_bit3 -COL00034_bit4 -COL00034_bit5 -COL00034_bit6 -COL00034_bit7 -COL00034_bit8 -COL00034_bit9 -COL00034_bit_1 -COL00034_bit_10 COL00034_bit_2 -COL00034_bit_3 -COL00034_bit_4 -COL00034_bit_5 -COL00034_bit_6 -COL00034_bit_7 -COL00034_bit_8 COL00034_bit_9 -COL00035_bit0 -COL00035_bit1 -COL00035_bit10 -COL00035_bit11 -COL00035_bit12 -COL00035_bit13 -COL00035_bit14 -COL00035_bit15 -COL00035_bit16 -COL00035_bit17 -COL00035_bit18 -COL00035_bit19 -COL00035_bit2 -COL00035_bit3 -COL00035_bit4 -COL00035_bit5 -COL00035_bit6 -COL00035_bit7 -COL00035_bit8 -COL00035_bit9 COL00035_bit_1 -COL00035_bit_10 -COL00035_bit_2 -COL00035_bit_3 -COL00035_bit_4 -COL00035_bit_5 -COL00035_bit_6 -COL00035_bit_7 -COL00035_bit_8 -COL00035_bit_9 -COL00036_bit0 COL00036_bit1 -COL00036_bit10 -COL00036_bit11 -COL00036_bit12 -COL00036_bit13 -COL00036_bit14 -COL00036_bit15 -COL00036_bit16 -COL00036_bit17 -COL00036_bit18 -COL00036_bit19 COL00036_bit2 COL00036_bit3 COL00036_bit4 COL00036_bit5 COL00036_bit6 -COL00036_bit7 -COL00036_bit8 -COL00036_bit9 -COL00036_bit_1 -COL00036_bit_10 -COL00036_bit_2 -COL00036_bit_3 -COL00036_bit_4 -COL00036_bit_5 COL00036_bit_6 COL00036_bit_7 COL00036_bit_8 -COL00036_bit_9 COL00037_bit0 -COL00037_bit1 -COL00037_bit10 -COL00037_bit11 -COL00037_bit12 -COL00037_bit13 -COL00037_bit14 -COL00037_bit15 -COL00037_bit16 -COL00037_bit17 -COL00037_bit18 -COL00037_bit19 COL00037_bit2 COL00037_bit3 -COL00037_bit4 -COL00037_bit5 COL00037_bit6 -COL00037_bit7 -COL00037_bit8 -COL00037_bit9 COL00037_bit_1 -COL00037_bit_10 COL00037_bit_2 COL00037_bit_3 COL00037_bit_4 COL00037_bit_5 COL00037_bit_6 -COL00037_bit_7 COL00037_bit_8 -COL00037_bit_9 COL00038_bit0 COL00038_bit1 -COL00038_bit10 -COL00038_bit11 -COL00038_bit12 -COL00038_bit13 -COL00038_bit14 -COL00038_bit15 -COL00038_bit16 -COL00038_bit17 -COL00038_bit18 -COL00038_bit19 COL00038_bit2 COL00038_bit3 -COL00038_bit4 -COL00038_bit5 -COL00038_bit6 -COL00038_bit7 COL00038_bit8 -COL00038_bit9 COL00038_bit_1 -COL00038_bit_10 COL00038_bit_2 COL00038_bit_3 -COL00038_bit_4 COL00038_bit_5 COL00038_bit_6 COL00038_bit_7 COL00038_bit_8 -COL00038_bit_9 -COL00039_bit0 -COL00039_bit1 -COL00039_bit10 -COL00039_bit11 -COL00039_bit12 -COL00039_bit13 -COL00039_bit14 -COL00039_bit15 -COL00039_bit16 -COL00039_bit17 -COL00039_bit18 -COL00039_bit19 -COL00039_bit2 COL00039_bit3 COL00039_bit4 -COL00039_bit5 -COL00039_bit6 -COL00039_bit7 -COL00039_bit8 -COL00039_bit9 -COL00039_bit_1 COL00039_bit_10 COL00039_bit_2 -COL00039_bit_3 COL00039_bit_4 -COL00039_bit_5 -COL00039_bit_6 -COL00039_bit_7 COL00039_bit_8 -COL00039_bit_9 -COL00040_bit0 -COL00040_bit1 -COL00040_bit10 -COL00040_bit11 -COL00040_bit12 -COL00040_bit13 -COL00040_bit14 -COL00040_bit15 -COL00040_bit16 -COL00040_bit17 -COL00040_bit18 -COL00040_bit19 COL00040_bit2 COL00040_bit3 COL00040_bit4 COL00040_bit5 -COL00040_bit6 -COL00040_bit7 -COL00040_bit8 -COL00040_bit9 COL00040_bit_1 -COL00040_bit_10 COL00040_bit_2 -COL00040_bit_3 -COL00040_bit_4 COL00040_bit_5 -COL00040_bit_6 COL00040_bit_7 COL00040_bit_8 -COL00040_bit_9 -COL00041_bit0 -COL00041_bit1 -COL00041_bit10 -COL00041_bit11 -COL00041_bit12 -COL00041_bit13 -COL00041_bit14 -COL00041_bit15 -COL00041_bit16 -COL00041_bit17 -COL00041_bit18 -COL00041_bit19 -COL00041_bit2 -COL00041_bit3 -COL00041_bit4 -COL00041_bit5 COL00041_bit6 -COL00041_bit7 COL00041_bit8 -COL00041_bit9 -COL00041_bit_1 COL00041_bit_10 -COL00041_bit_2 -COL00041_bit_3 -COL00041_bit_4 -COL00041_bit_5 -COL00041_bit_6 -COL00041_bit_7 -COL00041_bit_8 COL00041_bit_9 -COL00042_bit0 -COL00042_bit1 -COL00042_bit10 -COL00042_bit11 -COL00042_bit12 -COL00042_bit13 -COL00042_bit14 -COL00042_bit15 -COL00042_bit16 -COL00042_bit17 -COL00042_bit18 -COL00042_bit19 -COL00042_bit2 COL00042_bit3 COL00042_bit4 -COL00042_bit5 -COL00042_bit6 -COL00042_bit7 -COL00042_bit8 -COL00042_bit9 -COL00042_bit_1 COL00042_bit_10 -COL00042_bit_2 -COL00042_bit_3 -COL00042_bit_4 COL00042_bit_5 -COL00042_bit_6 COL00042_bit_7 -COL00042_bit_8 COL00042_bit_9 COL00043_bit0 COL00043_bit1 -COL00043_bit10 -COL00043_bit11 -COL00043_bit12 -COL00043_bit13 -COL00043_bit14 -COL00043_bit15 -COL00043_bit16 -COL00043_bit17 -COL00043_bit18 -COL00043_bit19 COL00043_bit2 -COL00043_bit3 COL00043_bit4 COL00043_bit5 -COL00043_bit6 -COL00043_bit7 -COL00043_bit8 -COL00043_bit9 COL00043_bit_1 COL00043_bit_10 COL00043_bit_2 COL00043_bit_3 COL00043_bit_4 COL00043_bit_5 COL00043_bit_6 COL00043_bit_7 -COL00043_bit_8 -COL00043_bit_9 -COL00044_bit0 -COL00044_bit1 -COL00044_bit10 -COL00044_bit11 -COL00044_bit12 -COL00044_bit13 -COL00044_bit14 -COL00044_bit15 -COL00044_bit16 -COL00044_bit17 -COL00044_bit18 -COL00044_bit19 -COL00044_bit2 -COL00044_bit3 -COL00044_bit4 COL00044_bit5 -COL00044_bit6 -COL00044_bit7 COL00044_bit8 -COL00044_bit9 -COL00044_bit_1 COL00044_bit_10 -COL00044_bit_2 COL00044_bit_3 -COL00044_bit_4 COL00044_bit_5 -COL00044_bit_6 -COL00044_bit_7 -COL00044_bit_8 COL00044_bit_9 -COL00045_bit0 COL00045_bit1 -COL00045_bit10 -COL00045_bit11 -COL00045_bit12 -COL00045_bit13 -COL00045_bit14 -COL00045_bit15 -COL00045_bit16 -COL00045_bit17 -COL00045_bit18 -COL00045_bit19 -COL00045_bit2 -COL00045_bit3 COL00045_bit4 -COL00045_bit5 -COL00045_bit6 -COL00045_bit7 -COL00045_bit8 -COL00045_bit9 COL00045_bit_1 COL00045_bit_10 COL00045_bit_2 -COL00045_bit_3 -COL00045_bit_4 -COL00045_bit_5 -COL00045_bit_6 COL00045_bit_7 -COL00045_bit_8 -COL00045_bit_9 COL00046_bit0 COL00046_bit1 -COL00046_bit10 -COL00046_bit11 -COL00046_bit12 -COL00046_bit13 -COL00046_bit14 -COL00046_bit15 -COL00046_bit16 -COL00046_bit17 -COL00046_bit18 -COL00046_bit19 -COL00046_bit2 -COL00046_bit3 COL00046_bit4 -COL00046_bit5 -COL00046_bit6 -COL00046_bit7 -COL00046_bit8 -COL00046_bit9 -COL00046_bit_1 COL00046_bit_10 -COL00046_bit_2 -COL00046_bit_3 COL00046_bit_4 -COL00046_bit_5 COL00046_bit_6 -COL00046_bit_7 COL00046_bit_8 -COL00046_bit_9 -COL00047_bit0 COL00047_bit1 -COL00047_bit10 -COL00047_bit11 -COL00047_bit12 -COL00047_bit13 -COL00047_bit14 -COL00047_bit15 -COL00047_bit16 -COL00047_bit17 -COL00047_bit18 -COL00047_bit19 COL00047_bit2 -COL00047_bit3 COL00047_bit4 -COL00047_bit5 COL00047_bit6 -COL00047_bit7 -COL00047_bit8 -COL00047_bit9 -COL00047_bit_1 COL00047_bit_10 -COL00047_bit_2 -COL00047_bit_3 -COL00047_bit_4 -COL00047_bit_5 -COL00047_bit_6 COL00047_bit_7 COL00047_bit_8 COL00047_bit_9 COL00048_bit0 -COL00048_bit1 -COL00048_bit10 -COL00048_bit11 -COL00048_bit12 -COL00048_bit13 -COL00048_bit14 -COL00048_bit15 -COL00048_bit16 -COL00048_bit17 -COL00048_bit18 -COL00048_bit19 COL00048_bit2 -COL00048_bit3 COL00048_bit4 -COL00048_bit5 COL00048_bit6 -COL00048_bit7 -COL00048_bit8 -COL00048_bit9 COL00048_bit_1 -COL00048_bit_10 COL00048_bit_2 -COL00048_bit_3 -COL00048_bit_4 COL00048_bit_5 -COL00048_bit_6 -COL00048_bit_7 COL00048_bit_8 COL00048_bit_9

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/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21528055 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8450/statm): 373 2 364 364 0 9 0
[pid=8450] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-sc50a.opb

[startup+10.0019 s]
Raw data (loadavg): 0.92 0.95 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 5250 0 0 0 962 21 0 0 25 0 1 0 21528055 16592896 3048 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8450/statm): 4051 3048 364 364 0 3687 0
[pid=8450] vsize: 16204
Current children cumulated CPU time (s) 9.83
Current children cumulated vsize (Kb) 16204

[startup+20.0036 s]
Raw data (loadavg): 0.93 0.95 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 5873 0 0 0 1936 30 0 0 25 0 1 0 21528055 19898368 3411 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8450/statm): 4858 3411 364 364 0 4494 0
[pid=8450] vsize: 19432
Current children cumulated CPU time (s) 19.66
Current children cumulated vsize (Kb) 19432

[startup+30.0044 s]
Raw data (loadavg): 0.94 0.95 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 6307 0 0 0 2908 40 0 0 25 0 1 0 21528055 20475904 3650 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8450/statm): 4999 3650 364 364 0 4635 0
[pid=8450] vsize: 19996
Current children cumulated CPU time (s) 29.48
Current children cumulated vsize (Kb) 19996

[startup+40.0041 s]
Raw data (loadavg): 0.95 0.95 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 6628 0 0 0 3888 49 0 0 25 0 1 0 21528055 20897792 3841 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8450/statm): 5102 3841 364 364 0 4738 0
[pid=8450] vsize: 20408
Current children cumulated CPU time (s) 39.37
Current children cumulated vsize (Kb) 20408

[startup+50.0048 s]
Raw data (loadavg): 0.96 0.95 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 6953 0 0 0 4870 56 0 0 25 0 1 0 21528055 21032960 3971 4294967295 134512640 135987407 3221224560 3221223376 134816504 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8450/statm): 5135 3971 364 364 0 4771 0
[pid=8450] vsize: 20540
Current children cumulated CPU time (s) 49.26
Current children cumulated vsize (Kb) 20540

[startup+60.0046 s]
Raw data (loadavg): 0.96 0.95 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 7176 0 0 0 5851 63 0 0 25 0 1 0 21528055 21168128 4064 4294967295 134512640 135987407 3221224560 3221223248 134812146 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 5168 4064 364 364 0 4804 0
[pid=8450] vsize: 20672
Current children cumulated CPU time (s) 59.14
Current children cumulated vsize (Kb) 20672

[startup+70.0053 s]
Raw data (loadavg): 0.97 0.95 0.97 1/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) T 8449 8450 4060 0 -1 0 7441 0 0 0 6826 74 0 0 25 0 1 0 21528055 21450752 4199 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8450/statm): 5237 4199 364 364 0 4873 0
[pid=8450] vsize: 20948
Current children cumulated CPU time (s) 69
Current children cumulated vsize (Kb) 20948

[startup+80.006 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 7676 0 0 0 7811 82 0 0 25 0 1 0 21528055 21450752 4304 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 5237 4304 364 364 0 4873 0
[pid=8450] vsize: 20948
Current children cumulated CPU time (s) 78.93
Current children cumulated vsize (Kb) 20948

[startup+90.0058 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 7845 0 0 0 8748 104 0 0 25 0 1 0 21528055 21860352 4408 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 5337 4408 364 364 0 4973 0
[pid=8450] vsize: 21348
Current children cumulated CPU time (s) 88.52
Current children cumulated vsize (Kb) 21348

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 8785 0 0 0 9731 111 0 0 25 0 1 0 21528055 25141248 4449 4294967295 134512640 135987407 3221224560 3221223280 134814418 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8450/statm): 6138 4449 364 364 0 5774 0
[pid=8450] vsize: 24552
Current children cumulated CPU time (s) 98.42
Current children cumulated vsize (Kb) 24552

[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.97 1/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) T 8449 8450 4060 0 -1 0 8991 0 0 0 10713 118 0 0 25 0 1 0 21528055 29470720 4525 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8450/statm): 7195 4525 364 364 0 6831 0
[pid=8450] vsize: 28780
Current children cumulated CPU time (s) 108.31
Current children cumulated vsize (Kb) 28780

[startup+120.008 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 10108 0 0 0 11675 132 0 0 25 0 1 0 21528055 29872128 4602 4294967295 134512640 135987407 3221224560 3221223104 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 7293 4602 364 364 0 6929 0
[pid=8450] vsize: 29172
Current children cumulated CPU time (s) 118.07
Current children cumulated vsize (Kb) 29172

[startup+130.009 s]
Raw data (loadavg): 0.99 0.96 0.97 1/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) T 8449 8450 4060 0 -1 0 10235 0 0 0 12654 140 0 0 25 0 1 0 21528055 30048256 4729 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8450/statm): 7336 4729 364 364 0 6972 0
[pid=8450] vsize: 29344
Current children cumulated CPU time (s) 127.94
Current children cumulated vsize (Kb) 29344

[startup+140.01 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 10646 0 0 0 13619 154 0 0 25 0 1 0 21528055 30588928 5010 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 7468 5010 364 364 0 7104 0
[pid=8450] vsize: 29872
Current children cumulated CPU time (s) 137.73
Current children cumulated vsize (Kb) 29872

[startup+150.01 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 10783 0 0 0 14583 166 0 0 25 0 1 0 21528055 30859264 5082 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 7534 5082 364 364 0 7170 0
[pid=8450] vsize: 30136
Current children cumulated CPU time (s) 147.49
Current children cumulated vsize (Kb) 30136

[startup+160.01 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 11039 0 0 0 15560 174 0 0 25 0 1 0 21528055 30994432 5143 4294967295 134512640 135987407 3221224560 3221222896 134931363 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 7567 5143 364 364 0 7203 0
[pid=8450] vsize: 30268
Current children cumulated CPU time (s) 157.34
Current children cumulated vsize (Kb) 30268

[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 11503 0 0 0 16536 183 0 0 25 0 1 0 21528055 31264768 5412 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 7633 5412 364 364 0 7269 0
[pid=8450] vsize: 30532
Current children cumulated CPU time (s) 167.19
Current children cumulated vsize (Kb) 30532

[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) T 8449 8450 4060 0 -1 0 11973 0 0 0 17505 193 0 0 25 0 1 0 21528055 31539200 5752 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8450/statm): 7700 5752 364 364 0 7336 0
[pid=8450] vsize: 30800
Current children cumulated CPU time (s) 176.98
Current children cumulated vsize (Kb) 30800

[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) T 8449 8450 4060 0 -1 0 12539 0 0 0 18481 203 0 0 25 0 1 0 21528055 31813632 6123 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8450/statm): 7767 6123 364 364 0 7403 0
[pid=8450] vsize: 31068
Current children cumulated CPU time (s) 186.84
Current children cumulated vsize (Kb) 31068

[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 13018 0 0 0 19462 211 0 0 25 0 1 0 21528055 40337408 6472 4294967295 134512640 135987407 3221224560 3221223264 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 9848 6472 364 364 0 9484 0
[pid=8450] vsize: 39392
Current children cumulated CPU time (s) 196.73
Current children cumulated vsize (Kb) 39392

[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 13611 0 0 0 20441 218 0 0 25 0 1 0 21528055 40607744 6935 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 9914 6935 364 364 0 9550 0
[pid=8450] vsize: 39656
Current children cumulated CPU time (s) 206.59
Current children cumulated vsize (Kb) 39656

[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 14200 0 0 0 21421 225 0 0 25 0 1 0 21528055 40742912 7459 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 9947 7459 364 364 0 9583 0
[pid=8450] vsize: 39788
Current children cumulated CPU time (s) 216.46
Current children cumulated vsize (Kb) 39788

[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 14599 0 0 0 22401 232 0 0 25 0 1 0 21528055 40878080 7728 4294967295 134512640 135987407 3221224560 3221223104 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 9980 7728 364 364 0 9616 0
[pid=8450] vsize: 39920
Current children cumulated CPU time (s) 226.33
Current children cumulated vsize (Kb) 39920

[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) T 8449 8450 4060 0 -1 0 14784 0 0 0 23371 244 0 0 25 0 1 0 21528055 41152512 7783 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8450/statm): 10047 7783 364 364 0 9683 0
[pid=8450] vsize: 40188
Current children cumulated CPU time (s) 236.15
Current children cumulated vsize (Kb) 40188

[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 14983 0 0 0 24348 252 0 0 25 0 1 0 21528055 41291776 7852 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 10081 7852 364 364 0 9717 0
[pid=8450] vsize: 40324
Current children cumulated CPU time (s) 246
Current children cumulated vsize (Kb) 40324

[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) T 8449 8450 4060 0 -1 0 15134 0 0 0 25324 260 0 0 25 0 1 0 21528055 41426944 7873 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8450/statm): 10114 7873 364 364 0 9750 0
[pid=8450] vsize: 40456
Current children cumulated CPU time (s) 255.84
Current children cumulated vsize (Kb) 40456

[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 15238 0 0 0 26298 269 0 0 25 0 1 0 21528055 41562112 7912 4294967295 134512640 135987407 3221224560 3221222976 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 10147 7912 364 364 0 9783 0
[pid=8450] vsize: 40588
Current children cumulated CPU time (s) 265.67
Current children cumulated vsize (Kb) 40588

[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 15483 0 0 0 27262 282 0 0 25 0 1 0 21528055 41701376 7962 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 10181 7962 364 364 0 9817 0
[pid=8450] vsize: 40724
Current children cumulated CPU time (s) 275.44
Current children cumulated vsize (Kb) 40724

[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 15639 0 0 0 28229 295 0 0 25 0 1 0 21528055 41975808 8053 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 10248 8053 364 364 0 9884 0
[pid=8450] vsize: 40992
Current children cumulated CPU time (s) 285.24
Current children cumulated vsize (Kb) 40992

[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 15811 0 0 0 29195 307 0 0 25 0 1 0 21528055 42131456 8095 4294967295 134512640 135987407 3221224560 3221223200 134812293 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 10286 8095 364 364 0 9922 0
[pid=8450] vsize: 41144
Current children cumulated CPU time (s) 295.02
Current children cumulated vsize (Kb) 41144

[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 16124 0 0 0 30157 319 0 0 25 0 1 0 21528055 42541056 8213 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 10386 8213 364 364 0 10022 0
[pid=8450] vsize: 41544
Current children cumulated CPU time (s) 304.76
Current children cumulated vsize (Kb) 41544

[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 16451 0 0 0 31124 332 0 0 25 0 1 0 21528055 43081728 8345 4294967295 134512640 135987407 3221224560 3221222832 134827688 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 10518 8345 364 364 0 10154 0
[pid=8450] vsize: 42072
Current children cumulated CPU time (s) 314.56
Current children cumulated vsize (Kb) 42072

[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8450
Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 16760 0 0 0 32089 345 0 0 25 0 1 0 21528055 42950656 8329 4294967295 134512640 135987407 3221224560 3221223104 134811867 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8450/statm): 10486 8329 364 364 0 10122 0
[pid=8450] vsize: 41944
Current children cumulated CPU time (s) 324.34
Current children cumulated vsize (Kb) 41944
One traced child (pid=8450) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 333.209
CPU time (s): 327.453
CPU user time (s): 323.932
CPU system time (s): 3.52146
CPU usage (%): 98.2725
Max. virtual memory (cumulated for all children) (Kb): 42072

Verifier Data

Verifier:	OK	-60000