Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb
MD5SUM980dd801f0823d520b47724b99fabded
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 benchmark79.104
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 8086

Launcher Data

LAUNCH ON wulflinc12 THE 2005-09-20 15:39:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5234 boxname=wulflinc12 idbench=546 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  980dd801f0823d520b47724b99fabded  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-stein45.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5234
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        889640 kB
Buffers:         34132 kB
Cached:          79752 kB
SwapCached:        492 kB
Active:          69232 kB
Inactive:        47220 kB
HighTotal:      131008 kB
HighFree:        48972 kB
LowTotal:       903652 kB
LowFree:        840668 kB
SwapTotal:     2097136 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5904 kB
Slab:            22784 kB
Committed_AS:    64152 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 15:48:59 (client local time) WITH STATUS 30 IN 542.028 SECONDS
stats: 5234 0 542.028 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              : 542.01 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/20808/stat): 20808 (Pueblo) R 20807 20808 8263 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801445262 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20808/statm): 41 3 40 18 0 23 0
[pid=20808] 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.0032 s]
Raw data (loadavg): 0.82 0.95 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) R 20807 20808 8263 0 -1 0 323 0 0 0 884 43 0 0 25 0 1 0 1801445262 2904064 289 4294967295 134512640 134578447 3221224624 3221223536 134556881 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20808/statm): 709 289 566 18 0 691 0
[pid=20808] vsize: 2836
Current children cumulated CPU time (s) 9.27
Current children cumulated vsize (Kb) 2836

[startup+20.004 s]
Raw data (loadavg): 0.85 0.95 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 337 0 0 0 1783 81 0 0 25 0 1 0 1801445262 2904064 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 709 303 566 18 0 691 0
[pid=20808] vsize: 2836
Current children cumulated CPU time (s) 18.64
Current children cumulated vsize (Kb) 2836

[startup+30.0048 s]
Raw data (loadavg): 0.87 0.95 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 344 0 0 0 2691 112 0 0 25 0 1 0 1801445262 2904064 310 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 709 310 566 18 0 691 0
[pid=20808] vsize: 2836
Current children cumulated CPU time (s) 28.03
Current children cumulated vsize (Kb) 2836

[startup+40.0046 s]
Raw data (loadavg): 0.89 0.95 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 346 0 0 0 3599 143 0 0 25 0 1 0 1801445262 2904064 312 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 709 312 566 18 0 691 0
[pid=20808] vsize: 2836
Current children cumulated CPU time (s) 37.42
Current children cumulated vsize (Kb) 2836

[startup+50.0055 s]
Raw data (loadavg): 0.91 0.96 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 353 0 0 0 4508 175 0 0 25 0 1 0 1801445262 3018752 319 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 737 319 566 18 0 719 0
[pid=20808] vsize: 2948
Current children cumulated CPU time (s) 46.83
Current children cumulated vsize (Kb) 2948

[startup+60.0053 s]
Raw data (loadavg): 0.92 0.96 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 354 0 0 0 5424 205 0 0 25 0 1 0 1801445262 3018752 320 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 737 320 566 18 0 719 0
[pid=20808] vsize: 2948
Current children cumulated CPU time (s) 56.29
Current children cumulated vsize (Kb) 2948

[startup+70.0061 s]
Raw data (loadavg): 0.93 0.96 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 357 0 0 0 6340 235 0 0 21 0 1 0 1801445262 3018752 323 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 737 323 566 18 0 719 0
[pid=20808] vsize: 2948
Current children cumulated CPU time (s) 65.75
Current children cumulated vsize (Kb) 2948

[startup+80.007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) R 20807 20808 8263 0 -1 0 361 0 0 0 7257 264 0 0 25 0 1 0 1801445262 3018752 327 4294967295 134512640 134578447 3221224624 3221223456 134528247 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20808/statm): 737 327 566 18 0 719 0
[pid=20808] vsize: 2948
Current children cumulated CPU time (s) 75.21
Current children cumulated vsize (Kb) 2948

[startup+90.0068 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) R 20807 20808 8263 0 -1 0 362 0 0 0 8173 295 0 0 25 0 1 0 1801445262 3018752 328 4294967295 134512640 134578447 3221224624 3221222512 134533073 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20808/statm): 737 328 566 18 0 719 0
[pid=20808] vsize: 2948
Current children cumulated CPU time (s) 84.68
Current children cumulated vsize (Kb) 2948

[startup+100.008 s]
Raw data (loadavg): 0.96 0.96 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 364 0 0 0 9095 322 0 0 25 0 1 0 1801445262 3018752 330 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 737 330 566 18 0 719 0
[pid=20808] vsize: 2948
Current children cumulated CPU time (s) 94.17
Current children cumulated vsize (Kb) 2948

[startup+110.007 s]
Raw data (loadavg): 0.96 0.96 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 366 0 0 0 10015 350 0 0 25 0 1 0 1801445262 3018752 332 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 737 332 566 18 0 719 0
[pid=20808] vsize: 2948
Current children cumulated CPU time (s) 103.65
Current children cumulated vsize (Kb) 2948

[startup+120.008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) R 20807 20808 8263 0 -1 0 372 0 0 0 10936 378 0 0 25 0 1 0 1801445262 3018752 338 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20808/statm): 737 338 566 18 0 719 0
[pid=20808] vsize: 2948
Current children cumulated CPU time (s) 113.14
Current children cumulated vsize (Kb) 2948

[startup+130.009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) R 20807 20808 8263 0 -1 0 373 0 0 0 11862 404 0 0 25 0 1 0 1801445262 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20808/statm): 737 339 566 18 0 719 0
[pid=20808] vsize: 2948
Current children cumulated CPU time (s) 122.66
Current children cumulated vsize (Kb) 2948

[startup+140.009 s]
Raw data (loadavg): 0.98 0.96 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 373 0 0 0 12788 429 0 0 25 0 1 0 1801445262 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 737 339 566 18 0 719 0
[pid=20808] vsize: 2948
Current children cumulated CPU time (s) 132.17
Current children cumulated vsize (Kb) 2948

[startup+150.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 373 0 0 0 13706 457 0 0 25 0 1 0 1801445262 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 737 339 566 18 0 719 0
[pid=20808] vsize: 2948
Current children cumulated CPU time (s) 141.63
Current children cumulated vsize (Kb) 2948

[startup+160.01 s]
Raw data (loadavg): 0.98 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 373 0 0 0 14635 483 0 0 25 0 1 0 1801445262 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 737 339 566 18 0 719 0
[pid=20808] vsize: 2948
Current children cumulated CPU time (s) 151.18
Current children cumulated vsize (Kb) 2948

[startup+170.01 s]
Raw data (loadavg): 0.98 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 374 0 0 0 15556 512 0 0 25 0 1 0 1801445262 3018752 340 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 737 340 566 18 0 719 0
[pid=20808] vsize: 2948
Current children cumulated CPU time (s) 160.68
Current children cumulated vsize (Kb) 2948

[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 385 0 0 0 16478 539 0 0 25 0 1 0 1801445262 3145728 351 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 351 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 170.17
Current children cumulated vsize (Kb) 3072

[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 385 0 0 0 17405 561 0 0 25 0 1 0 1801445262 3145728 351 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 351 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 179.66
Current children cumulated vsize (Kb) 3072

[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 385 0 0 0 18331 588 0 0 25 0 1 0 1801445262 3145728 351 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 351 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 189.19
Current children cumulated vsize (Kb) 3072

[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 387 0 0 0 19253 618 0 0 25 0 1 0 1801445262 3145728 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 353 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 198.71
Current children cumulated vsize (Kb) 3072

[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 387 0 0 0 20178 645 0 0 25 0 1 0 1801445262 3145728 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 353 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 208.23
Current children cumulated vsize (Kb) 3072

[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 387 0 0 0 21099 673 0 0 25 0 1 0 1801445262 3145728 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 353 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 217.72
Current children cumulated vsize (Kb) 3072

[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 387 0 0 0 22026 701 0 0 25 0 1 0 1801445262 3145728 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 353 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 227.27
Current children cumulated vsize (Kb) 3072

[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 388 0 0 0 22952 726 0 0 25 0 1 0 1801445262 3145728 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 354 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 236.78
Current children cumulated vsize (Kb) 3072

[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 388 0 0 0 23876 755 0 0 25 0 1 0 1801445262 3145728 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 354 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 246.31
Current children cumulated vsize (Kb) 3072

[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 388 0 0 0 24795 784 0 0 25 0 1 0 1801445262 3145728 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 354 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 255.79
Current children cumulated vsize (Kb) 3072

[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 397 0 0 0 25723 810 0 0 25 0 1 0 1801445262 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 363 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 265.33
Current children cumulated vsize (Kb) 3072

[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 397 0 0 0 26658 834 0 0 25 0 1 0 1801445262 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 363 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 274.92
Current children cumulated vsize (Kb) 3072

[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) R 20807 20808 8263 0 -1 0 397 0 0 0 27585 860 0 0 25 0 1 0 1801445262 3145728 363 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 363 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 284.45
Current children cumulated vsize (Kb) 3072

[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 399 0 0 0 28515 886 0 0 25 0 1 0 1801445262 3145728 365 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 365 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 294.01
Current children cumulated vsize (Kb) 3072

[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) R 20807 20808 8263 0 -1 0 399 0 0 0 29443 911 0 0 25 0 1 0 1801445262 3145728 365 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 365 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 303.54
Current children cumulated vsize (Kb) 3072

[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) R 20807 20808 8263 0 -1 0 399 0 0 0 30373 937 0 0 25 0 1 0 1801445262 3145728 365 4294967295 134512640 134578447 3221224624 3221223520 134519811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20808/statm): 768 365 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 313.1
Current children cumulated vsize (Kb) 3072

[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) R 20807 20808 8263 0 -1 0 399 0 0 0 31305 960 0 0 25 0 1 0 1801445262 3145728 365 4294967295 134512640 134578447 3221224624 3221223288 1075291632 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20808/statm): 768 365 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 322.65
Current children cumulated vsize (Kb) 3072

[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 399 0 0 0 32227 990 0 0 25 0 1 0 1801445262 3145728 365 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 365 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 332.17
Current children cumulated vsize (Kb) 3072

[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) R 20807 20808 8263 0 -1 0 400 0 0 0 33160 1017 0 0 25 0 1 0 1801445262 3145728 366 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 366 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 341.77
Current children cumulated vsize (Kb) 3072

[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 400 0 0 0 34090 1041 0 0 25 0 1 0 1801445262 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 366 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 351.31
Current children cumulated vsize (Kb) 3072

[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 400 0 0 0 35019 1068 0 0 25 0 1 0 1801445262 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 366 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 360.87
Current children cumulated vsize (Kb) 3072

[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 400 0 0 0 35948 1096 0 0 25 0 1 0 1801445262 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 366 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 370.44
Current children cumulated vsize (Kb) 3072

[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 400 0 0 0 36874 1122 0 0 25 0 1 0 1801445262 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 366 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 379.96
Current children cumulated vsize (Kb) 3072

[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 400 0 0 0 37808 1146 0 0 25 0 1 0 1801445262 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 366 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 389.54
Current children cumulated vsize (Kb) 3072

[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 400 0 0 0 38736 1173 0 0 25 0 1 0 1801445262 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 768 366 566 18 0 750 0
[pid=20808] vsize: 3072
Current children cumulated CPU time (s) 399.09
Current children cumulated vsize (Kb) 3072

[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 411 0 0 0 39668 1198 0 0 25 0 1 0 1801445262 3264512 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 797 377 566 18 0 779 0
[pid=20808] vsize: 3188
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (Kb) 3188

[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 411 0 0 0 40604 1221 0 0 25 0 1 0 1801445262 3260416 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 796 377 566 18 0 778 0
[pid=20808] vsize: 3184
Current children cumulated CPU time (s) 418.25
Current children cumulated vsize (Kb) 3184

[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) R 20807 20808 8263 0 -1 0 411 0 0 0 41535 1245 0 0 25 0 1 0 1801445262 3256320 377 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20808/statm): 795 377 566 18 0 777 0
[pid=20808] vsize: 3180
Current children cumulated CPU time (s) 427.8
Current children cumulated vsize (Kb) 3180

[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) R 20807 20808 8263 0 -1 0 411 0 0 0 42459 1272 0 0 25 0 1 0 1801445262 3256320 377 4294967295 134512640 134578447 3221224624 3221223536 134516812 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20808/statm): 795 377 566 18 0 777 0
[pid=20808] vsize: 3180
Current children cumulated CPU time (s) 437.31
Current children cumulated vsize (Kb) 3180

[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 411 0 0 0 43388 1298 0 0 25 0 1 0 1801445262 3256320 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 795 377 566 18 0 777 0
[pid=20808] vsize: 3180
Current children cumulated CPU time (s) 446.86
Current children cumulated vsize (Kb) 3180

[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 411 0 0 0 44318 1320 0 0 25 0 1 0 1801445262 3256320 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 795 377 566 18 0 777 0
[pid=20808] vsize: 3180
Current children cumulated CPU time (s) 456.38
Current children cumulated vsize (Kb) 3180

[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 411 0 0 0 45249 1345 0 0 25 0 1 0 1801445262 3256320 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 795 377 566 18 0 777 0
[pid=20808] vsize: 3180
Current children cumulated CPU time (s) 465.94
Current children cumulated vsize (Kb) 3180

[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 411 0 0 0 46183 1370 0 0 25 0 1 0 1801445262 3248128 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 793 377 566 18 0 775 0
[pid=20808] vsize: 3172
Current children cumulated CPU time (s) 475.53
Current children cumulated vsize (Kb) 3172

[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 411 0 0 0 47113 1394 0 0 25 0 1 0 1801445262 3248128 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 793 377 566 18 0 775 0
[pid=20808] vsize: 3172
Current children cumulated CPU time (s) 485.07
Current children cumulated vsize (Kb) 3172

[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) R 20807 20808 8263 0 -1 0 411 0 0 0 48044 1422 0 0 25 0 1 0 1801445262 3248128 377 4294967295 134512640 134578447 3221224624 3221223340 1075285094 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20808/statm): 793 377 566 18 0 775 0
[pid=20808] vsize: 3172
Current children cumulated CPU time (s) 494.66
Current children cumulated vsize (Kb) 3172

[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 411 0 0 0 48968 1450 0 0 25 0 1 0 1801445262 3248128 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 793 377 566 18 0 775 0
[pid=20808] vsize: 3172
Current children cumulated CPU time (s) 504.18
Current children cumulated vsize (Kb) 3172

[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 411 0 0 0 49898 1476 0 0 25 0 1 0 1801445262 3244032 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 792 377 566 18 0 774 0
[pid=20808] vsize: 3168
Current children cumulated CPU time (s) 513.74
Current children cumulated vsize (Kb) 3168

[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 411 0 0 0 50828 1501 0 0 25 0 1 0 1801445262 3239936 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 791 377 566 18 0 773 0
[pid=20808] vsize: 3164
Current children cumulated CPU time (s) 523.29
Current children cumulated vsize (Kb) 3164

[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 20808
Raw data (/proc/20808/stat): 20808 (Pueblo) T 20807 20808 8263 0 -1 0 411 0 0 0 51749 1527 0 0 25 0 1 0 1801445262 3239936 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20808/statm): 791 377 566 18 0 773 0
[pid=20808] vsize: 3164
Current children cumulated CPU time (s) 532.76
Current children cumulated vsize (Kb) 3164
One traced child (pid=20808) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 569.791
CPU time (s): 542.028
CPU user time (s): 526.488
CPU system time (s): 15.5396
CPU usage (%): 95.1274
Max. virtual memory (cumulated for all children) (Kb): 3188

Verifier Data

Verifier:	OK	30