Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein45.opb
MD5SUM5c72b08d2dc855d07dab2f619386e796
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved YES
Number of terms in the objective function 45
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 45
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 67
Number of bits of the biggest sum of numbers7
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark78.753
Number of variables45
Total number of constraints376
Number of constraints which are clauses330
Number of constraints which are cardinality constraints (but not clauses)46
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint45

Trace number 8228

Launcher Data

LAUNCH ON wulflinc25 THE 2005-09-20 16:06:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5355 boxname=wulflinc25 idbench=667 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  5c72b08d2dc855d07dab2f619386e796  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-stein45.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5355
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        826560 kB
Buffers:         33808 kB
Cached:         146252 kB
SwapCached:        888 kB
Active:          76636 kB
Inactive:       106032 kB
HighTotal:      131008 kB
HighFree:         2324 kB
LowTotal:       903652 kB
LowFree:        824236 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            19672 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 16:16:15 (client local time) WITH STATUS 30 IN 543.838 SECONDS
stats: 5355 0 543.838 30

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c starting to Solve
c #variables read: 45 - #constraints read: 377
c optimum objective found = 30
c total time              : 543.83 s
s OPTIMUM FOUND
v V0001_bit0 V0002_bit0 V0003_bit0 V0004_bit0 V0005_bit0 -V0006_bit0 -V0007_bit0 -V0008_bit0 -V0009_bit0 -V0010_bit0 V0011_bit0 V0012_bit0 V0013_bit0 V0014_bit0 V0015_bit0 V0016_bit0 V0017_bit0 V0018_bit0 V0019_bit0 V0020_bit0 -V0021_bit0 -V0022_bit0 -V0023_bit0 -V0024_bit0 -V0025_bit0 V0026_bit0 V0027_bit0 V0028_bit0 V0029_bit0 V0030_bit0 -V0031_bit0 -V0032_bit0 -V0033_bit0 -V0034_bit0 -V0035_bit0 V0036_bit0 V0037_bit0 V0038_bit0 V0039_bit0 V0040_bit0 V0041_bit0 V0042_bit0 V0043_bit0 V0044_bit0 V0045_bit0

Watcher Data

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

[startup+10.0034 s]
Raw data (loadavg): 0.74 0.90 0.89 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 323 0 0 0 880 41 0 0 25 0 1 0 1859875659 2904064 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 709 289 566 18 0 691 0
[pid=5476] vsize: 2836
Current children cumulated CPU time (s) 9.21
Current children cumulated vsize (Kb) 2836

[startup+20.0041 s]
Raw data (loadavg): 0.78 0.90 0.89 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 337 0 0 0 1779 77 0 0 17 0 1 0 1859875659 2904064 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 709 303 566 18 0 691 0
[pid=5476] vsize: 2836
Current children cumulated CPU time (s) 18.56
Current children cumulated vsize (Kb) 2836

[startup+30.0046 s]
Raw data (loadavg): 0.89 0.92 0.90 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 344 0 0 0 2690 109 0 0 25 0 1 0 1859875659 2904064 310 4294967295 134512640 134578447 3221224624 3221223456 134527011 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 709 310 566 18 0 691 0
[pid=5476] vsize: 2836
Current children cumulated CPU time (s) 27.99
Current children cumulated vsize (Kb) 2836

[startup+40.0052 s]
Raw data (loadavg): 0.98 0.94 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 346 0 0 0 3602 140 0 0 25 0 1 0 1859875659 2904064 312 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 709 312 566 18 0 691 0
[pid=5476] vsize: 2836
Current children cumulated CPU time (s) 37.42
Current children cumulated vsize (Kb) 2836

[startup+50.0058 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 353 0 0 0 4517 172 0 0 25 0 1 0 1859875659 3018752 319 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 737 319 566 18 0 719 0
[pid=5476] vsize: 2948
Current children cumulated CPU time (s) 46.89
Current children cumulated vsize (Kb) 2948

[startup+60.0054 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 354 0 0 0 5434 201 0 0 25 0 1 0 1859875659 3018752 320 4294967295 134512640 134578447 3221224624 3221223536 134516815 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 737 320 566 18 0 719 0
[pid=5476] vsize: 2948
Current children cumulated CPU time (s) 56.35
Current children cumulated vsize (Kb) 2948

[startup+70.006 s]
Raw data (loadavg): 0.99 0.94 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 354 0 0 0 6356 229 0 0 25 0 1 0 1859875659 3018752 320 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 737 320 566 18 0 719 0
[pid=5476] vsize: 2948
Current children cumulated CPU time (s) 65.85
Current children cumulated vsize (Kb) 2948

[startup+80.0066 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 361 0 0 0 7276 255 0 0 25 0 1 0 1859875659 3018752 327 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 737 327 566 18 0 719 0
[pid=5476] vsize: 2948
Current children cumulated CPU time (s) 75.31
Current children cumulated vsize (Kb) 2948

[startup+90.0062 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 362 0 0 0 8196 282 0 0 25 0 1 0 1859875659 3018752 328 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 737 328 566 18 0 719 0
[pid=5476] vsize: 2948
Current children cumulated CPU time (s) 84.78
Current children cumulated vsize (Kb) 2948

[startup+100.007 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 364 0 0 0 9116 312 0 0 25 0 1 0 1859875659 3018752 330 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 737 330 566 18 0 719 0
[pid=5476] vsize: 2948
Current children cumulated CPU time (s) 94.28
Current children cumulated vsize (Kb) 2948

[startup+110.007 s]
Raw data (loadavg): 0.99 0.95 0.91 3/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 364 0 0 0 10042 337 0 0 25 0 1 0 1859875659 3018752 330 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 737 330 566 18 0 719 0
[pid=5476] vsize: 2948
Current children cumulated CPU time (s) 103.79
Current children cumulated vsize (Kb) 2948

[startup+120.007 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 372 0 0 0 10962 365 0 0 25 0 1 0 1859875659 3018752 338 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 737 338 566 18 0 719 0
[pid=5476] vsize: 2948
Current children cumulated CPU time (s) 113.27
Current children cumulated vsize (Kb) 2948

[startup+130.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 373 0 0 0 11886 393 0 0 25 0 1 0 1859875659 3018752 339 4294967295 134512640 134578447 3221224624 3221223228 1075289088 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 737 339 566 18 0 719 0
[pid=5476] vsize: 2948
Current children cumulated CPU time (s) 122.79
Current children cumulated vsize (Kb) 2948

[startup+140.008 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 373 0 0 0 12808 420 0 0 25 0 1 0 1859875659 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 737 339 566 18 0 719 0
[pid=5476] vsize: 2948
Current children cumulated CPU time (s) 132.28
Current children cumulated vsize (Kb) 2948

[startup+150.009 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 373 0 0 0 13729 448 0 0 25 0 1 0 1859875659 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 737 339 566 18 0 719 0
[pid=5476] vsize: 2948
Current children cumulated CPU time (s) 141.77
Current children cumulated vsize (Kb) 2948

[startup+160.008 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 373 0 0 0 14658 471 0 0 25 0 1 0 1859875659 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 737 339 566 18 0 719 0
[pid=5476] vsize: 2948
Current children cumulated CPU time (s) 151.29
Current children cumulated vsize (Kb) 2948

[startup+170.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 374 0 0 0 15583 499 0 0 25 0 1 0 1859875659 3018752 340 4294967295 134512640 134578447 3221224624 3221223264 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 737 340 566 18 0 719 0
[pid=5476] vsize: 2948
Current children cumulated CPU time (s) 160.82
Current children cumulated vsize (Kb) 2948

[startup+180.01 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 385 0 0 0 16510 525 0 0 25 0 1 0 1859875659 3145728 351 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 768 351 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 170.35
Current children cumulated vsize (Kb) 3072

[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 385 0 0 0 17434 553 0 0 25 0 1 0 1859875659 3145728 351 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 768 351 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 179.87
Current children cumulated vsize (Kb) 3072

[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 385 0 0 0 18360 578 0 0 25 0 1 0 1859875659 3145728 351 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 768 351 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 189.38
Current children cumulated vsize (Kb) 3072

[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 387 0 0 0 19288 604 0 0 25 0 1 0 1859875659 3145728 353 4294967295 134512640 134578447 3221224624 3221222384 134532402 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 768 353 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 198.92
Current children cumulated vsize (Kb) 3072

[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 387 0 0 0 20211 631 0 0 25 0 1 0 1859875659 3145728 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 768 353 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 208.42
Current children cumulated vsize (Kb) 3072

[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 387 0 0 0 21137 657 0 0 17 0 1 0 1859875659 3145728 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 768 353 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 217.94
Current children cumulated vsize (Kb) 3072

[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 387 0 0 0 22061 685 0 0 25 0 1 0 1859875659 3145728 353 4294967295 134512640 134578447 3221224624 3221223536 134516799 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 768 353 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 227.46
Current children cumulated vsize (Kb) 3072

[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 388 0 0 0 22985 711 0 0 25 0 1 0 1859875659 3145728 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 768 354 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 236.96
Current children cumulated vsize (Kb) 3072

[startup+260.011 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 388 0 0 0 23910 737 0 0 25 0 1 0 1859875659 3145728 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 768 354 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 246.47
Current children cumulated vsize (Kb) 3072

[startup+270.011 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 388 0 0 0 24832 763 0 0 25 0 1 0 1859875659 3145728 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 768 354 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 255.95
Current children cumulated vsize (Kb) 3072

[startup+280.012 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 397 0 0 0 25758 792 0 0 25 0 1 0 1859875659 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 768 363 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 265.5
Current children cumulated vsize (Kb) 3072

[startup+290.012 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 397 0 0 0 26690 816 0 0 25 0 1 0 1859875659 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 768 363 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 275.06
Current children cumulated vsize (Kb) 3072

[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 397 0 0 0 27615 842 0 0 25 0 1 0 1859875659 3145728 363 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 768 363 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 284.57
Current children cumulated vsize (Kb) 3072

[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 399 0 0 0 28548 868 0 0 25 0 1 0 1859875659 3145728 365 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 768 365 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 294.16
Current children cumulated vsize (Kb) 3072

[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 399 0 0 0 29473 895 0 0 25 0 1 0 1859875659 3145728 365 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 768 365 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 303.68
Current children cumulated vsize (Kb) 3072

[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 399 0 0 0 30405 917 0 0 25 0 1 0 1859875659 3145728 365 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 768 365 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 313.22
Current children cumulated vsize (Kb) 3072

[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 399 0 0 0 31334 942 0 0 25 0 1 0 1859875659 3145728 365 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 768 365 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 322.76
Current children cumulated vsize (Kb) 3072

[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 399 0 0 0 32259 971 0 0 25 0 1 0 1859875659 3145728 365 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 768 365 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 332.3
Current children cumulated vsize (Kb) 3072

[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 400 0 0 0 33188 996 0 0 25 0 1 0 1859875659 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 768 366 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 341.84
Current children cumulated vsize (Kb) 3072

[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 400 0 0 0 34119 1021 0 0 25 0 1 0 1859875659 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 768 366 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 351.4
Current children cumulated vsize (Kb) 3072

[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 400 0 0 0 35047 1047 0 0 25 0 1 0 1859875659 3145728 366 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 768 366 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 360.94
Current children cumulated vsize (Kb) 3072

[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 400 0 0 0 35975 1072 0 0 25 0 1 0 1859875659 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 768 366 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 370.47
Current children cumulated vsize (Kb) 3072

[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 400 0 0 0 36904 1098 0 0 25 0 1 0 1859875659 3145728 366 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 768 366 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 380.02
Current children cumulated vsize (Kb) 3072

[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 400 0 0 0 37837 1122 0 0 25 0 1 0 1859875659 3145728 366 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 768 366 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 389.59
Current children cumulated vsize (Kb) 3072

[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 400 0 0 0 38760 1151 0 0 25 0 1 0 1859875659 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 768 366 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 399.11
Current children cumulated vsize (Kb) 3072

[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 407 0 0 0 39687 1176 0 0 25 0 1 0 1859875659 3145728 373 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 768 373 566 18 0 750 0
[pid=5476] vsize: 3072
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (Kb) 3072

[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 411 0 0 0 40623 1198 0 0 25 0 1 0 1859875659 3260416 377 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 796 377 566 18 0 778 0
[pid=5476] vsize: 3184
Current children cumulated CPU time (s) 418.21
Current children cumulated vsize (Kb) 3184

[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 411 0 0 0 41555 1227 0 0 25 0 1 0 1859875659 3256320 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 795 377 566 18 0 777 0
[pid=5476] vsize: 3180
Current children cumulated CPU time (s) 427.82
Current children cumulated vsize (Kb) 3180

[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 411 0 0 0 42481 1254 0 0 25 0 1 0 1859875659 3256320 377 4294967295 134512640 134578447 3221224624 3221223456 134527006 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 795 377 566 18 0 777 0
[pid=5476] vsize: 3180
Current children cumulated CPU time (s) 437.35
Current children cumulated vsize (Kb) 3180

[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 411 0 0 0 43409 1279 0 0 25 0 1 0 1859875659 3256320 377 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 795 377 566 18 0 777 0
[pid=5476] vsize: 3180
Current children cumulated CPU time (s) 446.88
Current children cumulated vsize (Kb) 3180

[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 411 0 0 0 44336 1306 0 0 25 0 1 0 1859875659 3256320 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 795 377 566 18 0 777 0
[pid=5476] vsize: 3180
Current children cumulated CPU time (s) 456.42
Current children cumulated vsize (Kb) 3180

[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 411 0 0 0 45267 1330 0 0 25 0 1 0 1859875659 3256320 377 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 795 377 566 18 0 777 0
[pid=5476] vsize: 3180
Current children cumulated CPU time (s) 465.97
Current children cumulated vsize (Kb) 3180

[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 411 0 0 0 46199 1355 0 0 25 0 1 0 1859875659 3248128 377 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 793 377 566 18 0 775 0
[pid=5476] vsize: 3172
Current children cumulated CPU time (s) 475.54
Current children cumulated vsize (Kb) 3172

[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 411 0 0 0 47124 1380 0 0 25 0 1 0 1859875659 3248128 377 4294967295 134512640 134578447 3221224624 3221223492 134528140 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 793 377 566 18 0 775 0
[pid=5476] vsize: 3172
Current children cumulated CPU time (s) 485.04
Current children cumulated vsize (Kb) 3172

[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 411 0 0 0 48053 1408 0 0 25 0 1 0 1859875659 3248128 377 4294967295 134512640 134578447 3221224624 3221222208 134533043 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 793 377 566 18 0 775 0
[pid=5476] vsize: 3172
Current children cumulated CPU time (s) 494.61
Current children cumulated vsize (Kb) 3172

[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 411 0 0 0 48979 1433 0 0 25 0 1 0 1859875659 3248128 377 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 793 377 566 18 0 775 0
[pid=5476] vsize: 3172
Current children cumulated CPU time (s) 504.12
Current children cumulated vsize (Kb) 3172

[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) R 5475 5476 4419 0 -1 0 411 0 0 0 49907 1459 0 0 25 0 1 0 1859875659 3244032 377 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 792 377 566 18 0 774 0
[pid=5476] vsize: 3168
Current children cumulated CPU time (s) 513.66
Current children cumulated vsize (Kb) 3168

[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 411 0 0 0 50838 1483 0 0 25 0 1 0 1859875659 3239936 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 791 377 566 18 0 773 0
[pid=5476] vsize: 3164
Current children cumulated CPU time (s) 523.21
Current children cumulated vsize (Kb) 3164

[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 411 0 0 0 51768 1508 0 0 25 0 1 0 1859875659 3239936 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 791 377 566 18 0 773 0
[pid=5476] vsize: 3164
Current children cumulated CPU time (s) 532.76
Current children cumulated vsize (Kb) 3164

[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5476
Raw data (/proc/5476/stat): 5476 (Pueblo) T 5475 5476 4419 0 -1 0 411 0 0 0 52691 1537 0 0 25 0 1 0 1859875659 3239936 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 791 377 566 18 0 773 0
[pid=5476] vsize: 3164
Current children cumulated CPU time (s) 542.28
Current children cumulated vsize (Kb) 3164
One traced child (pid=5476) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 571.674
CPU time (s): 543.838
CPU user time (s): 528.414
CPU system time (s): 15.4247
CPU usage (%): 95.1308
Max. virtual memory (cumulated for all children) (Kb): 3184

Verifier Data

Verifier:	OK	30