Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-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 benchmark78.4771
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 8469

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-20 16:37:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5618 boxname=wulflinc15 idbench=930 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  980dd801f0823d520b47724b99fabded  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-stein45.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5618
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        825636 kB
Buffers:         31988 kB
Cached:         147264 kB
SwapCached:        744 kB
Active:          70712 kB
Inactive:       111196 kB
HighTotal:      131008 kB
HighFree:         3472 kB
LowTotal:       903652 kB
LowFree:        822164 kB
SwapTotal:     2097136 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            21488 kB
Committed_AS:    64136 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 16:47:02 (client local time) WITH STATUS 30 IN 545.387 SECONDS
stats: 5618 0 545.387 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              : 545.38 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/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801795520 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 41 3 40 18 0 23 0
[pid=15162] 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.003 s]
Raw data (loadavg): 0.65 0.89 0.90 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 323 0 0 0 880 43 0 0 25 0 1 0 1801795520 2904064 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 709 289 566 18 0 691 0
[pid=15162] vsize: 2836
Current children cumulated CPU time (s) 9.23
Current children cumulated vsize (Kb) 2836

[startup+20.0029 s]
Raw data (loadavg): 0.71 0.89 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 337 0 0 0 1778 81 0 0 25 0 1 0 1801795520 2904064 303 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 709 303 566 18 0 691 0
[pid=15162] vsize: 2836
Current children cumulated CPU time (s) 18.59
Current children cumulated vsize (Kb) 2836

[startup+30.0037 s]
Raw data (loadavg): 0.75 0.90 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 344 0 0 0 2680 116 0 0 25 0 1 0 1801795520 2904064 310 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/15162/statm): 709 310 566 18 0 691 0
[pid=15162] vsize: 2836
Current children cumulated CPU time (s) 27.96
Current children cumulated vsize (Kb) 2836

[startup+40.0045 s]
Raw data (loadavg): 0.79 0.90 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 346 0 0 0 3591 148 0 0 25 0 1 0 1801795520 2904064 312 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/15162/statm): 709 312 566 18 0 691 0
[pid=15162] vsize: 2836
Current children cumulated CPU time (s) 37.39
Current children cumulated vsize (Kb) 2836

[startup+50.0053 s]
Raw data (loadavg): 0.82 0.90 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 353 0 0 0 4500 178 0 0 25 0 1 0 1801795520 3018752 319 4294967295 134512640 134578447 3221224624 3221223504 134527632 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 737 319 566 18 0 719 0
[pid=15162] vsize: 2948
Current children cumulated CPU time (s) 46.78
Current children cumulated vsize (Kb) 2948

[startup+60.0061 s]
Raw data (loadavg): 0.85 0.91 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 354 0 0 0 5412 208 0 0 25 0 1 0 1801795520 3018752 320 4294967295 134512640 134578447 3221224624 3221223504 134528161 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 737 320 566 18 0 719 0
[pid=15162] vsize: 2948
Current children cumulated CPU time (s) 56.2
Current children cumulated vsize (Kb) 2948

[startup+70.007 s]
Raw data (loadavg): 0.87 0.91 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 354 0 0 0 6329 237 0 0 25 0 1 0 1801795520 3018752 320 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 737 320 566 18 0 719 0
[pid=15162] vsize: 2948
Current children cumulated CPU time (s) 65.66
Current children cumulated vsize (Kb) 2948

[startup+80.0078 s]
Raw data (loadavg): 0.89 0.91 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 361 0 0 0 7246 266 0 0 25 0 1 0 1801795520 3018752 327 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 737 327 566 18 0 719 0
[pid=15162] vsize: 2948
Current children cumulated CPU time (s) 75.12
Current children cumulated vsize (Kb) 2948

[startup+90.0076 s]
Raw data (loadavg): 0.91 0.91 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 362 0 0 0 8158 296 0 0 25 0 1 0 1801795520 3018752 328 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 737 328 566 18 0 719 0
[pid=15162] vsize: 2948
Current children cumulated CPU time (s) 84.54
Current children cumulated vsize (Kb) 2948

[startup+100.008 s]
Raw data (loadavg): 0.92 0.92 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 364 0 0 0 9072 328 0 0 25 0 1 0 1801795520 3018752 330 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 737 330 566 18 0 719 0
[pid=15162] vsize: 2948
Current children cumulated CPU time (s) 94
Current children cumulated vsize (Kb) 2948

[startup+110.009 s]
Raw data (loadavg): 0.93 0.92 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 364 0 0 0 9994 353 0 0 25 0 1 0 1801795520 3018752 330 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 737 330 566 18 0 719 0
[pid=15162] vsize: 2948
Current children cumulated CPU time (s) 103.47
Current children cumulated vsize (Kb) 2948

[startup+120.009 s]
Raw data (loadavg): 0.94 0.92 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 372 0 0 0 10910 384 0 0 25 0 1 0 1801795520 3018752 338 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 737 338 566 18 0 719 0
[pid=15162] vsize: 2948
Current children cumulated CPU time (s) 112.94
Current children cumulated vsize (Kb) 2948

[startup+130.01 s]
Raw data (loadavg): 0.95 0.92 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 372 0 0 0 11833 412 0 0 25 0 1 0 1801795520 3018752 338 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 737 338 566 18 0 719 0
[pid=15162] vsize: 2948
Current children cumulated CPU time (s) 122.45
Current children cumulated vsize (Kb) 2948

[startup+140.01 s]
Raw data (loadavg): 0.96 0.92 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 373 0 0 0 12759 438 0 0 25 0 1 0 1801795520 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 737 339 566 18 0 719 0
[pid=15162] vsize: 2948
Current children cumulated CPU time (s) 131.97
Current children cumulated vsize (Kb) 2948

[startup+150.011 s]
Raw data (loadavg): 0.96 0.93 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 373 0 0 0 13685 465 0 0 25 0 1 0 1801795520 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 737 339 566 18 0 719 0
[pid=15162] vsize: 2948
Current children cumulated CPU time (s) 141.5
Current children cumulated vsize (Kb) 2948

[startup+160.011 s]
Raw data (loadavg): 0.97 0.93 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 373 0 0 0 14611 491 0 0 25 0 1 0 1801795520 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 737 339 566 18 0 719 0
[pid=15162] vsize: 2948
Current children cumulated CPU time (s) 151.02
Current children cumulated vsize (Kb) 2948

[startup+170.011 s]
Raw data (loadavg): 0.97 0.93 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 374 0 0 0 15534 517 0 0 25 0 1 0 1801795520 3018752 340 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 737 340 566 18 0 719 0
[pid=15162] vsize: 2948
Current children cumulated CPU time (s) 160.51
Current children cumulated vsize (Kb) 2948

[startup+180.012 s]
Raw data (loadavg): 0.98 0.93 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 385 0 0 0 16459 544 0 0 25 0 1 0 1801795520 3145728 351 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 768 351 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 3072

[startup+190.013 s]
Raw data (loadavg): 0.98 0.93 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 385 0 0 0 17385 568 0 0 25 0 1 0 1801795520 3145728 351 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 768 351 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 179.53
Current children cumulated vsize (Kb) 3072

[startup+200.014 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 385 0 0 0 18313 594 0 0 25 0 1 0 1801795520 3145728 351 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 768 351 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 189.07
Current children cumulated vsize (Kb) 3072

[startup+210.014 s]
Raw data (loadavg): 0.98 0.94 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 387 0 0 0 19245 621 0 0 25 0 1 0 1801795520 3145728 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/15162/statm): 768 353 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 198.66
Current children cumulated vsize (Kb) 3072

[startup+220.014 s]
Raw data (loadavg): 0.99 0.94 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 387 0 0 0 20169 648 0 0 25 0 1 0 1801795520 3145728 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 768 353 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 208.17
Current children cumulated vsize (Kb) 3072

[startup+230.014 s]
Raw data (loadavg): 0.99 0.94 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 387 0 0 0 21093 676 0 0 25 0 1 0 1801795520 3145728 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 768 353 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 217.69
Current children cumulated vsize (Kb) 3072

[startup+240.014 s]
Raw data (loadavg): 0.99 0.94 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 387 0 0 0 22016 701 0 0 25 0 1 0 1801795520 3145728 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 768 353 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 227.17
Current children cumulated vsize (Kb) 3072

[startup+250.015 s]
Raw data (loadavg): 0.99 0.94 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 388 0 0 0 22935 728 0 0 25 0 1 0 1801795520 3145728 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 768 354 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 236.63
Current children cumulated vsize (Kb) 3072

[startup+260.015 s]
Raw data (loadavg): 0.99 0.94 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 388 0 0 0 23858 757 0 0 25 0 1 0 1801795520 3145728 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 768 354 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 246.15
Current children cumulated vsize (Kb) 3072

[startup+270.014 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 388 0 0 0 24779 785 0 0 25 0 1 0 1801795520 3145728 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/15162/statm): 768 354 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 255.64
Current children cumulated vsize (Kb) 3072

[startup+280.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 397 0 0 0 25707 811 0 0 25 0 1 0 1801795520 3145728 363 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 768 363 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 265.18
Current children cumulated vsize (Kb) 3072

[startup+290.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 397 0 0 0 26634 837 0 0 25 0 1 0 1801795520 3145728 363 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 768 363 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 274.71
Current children cumulated vsize (Kb) 3072

[startup+300.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 397 0 0 0 27561 863 0 0 25 0 1 0 1801795520 3145728 363 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 768 363 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 284.24
Current children cumulated vsize (Kb) 3072

[startup+310.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 399 0 0 0 28487 888 0 0 25 0 1 0 1801795520 3145728 365 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 768 365 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 293.75
Current children cumulated vsize (Kb) 3072

[startup+320.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 399 0 0 0 29412 913 0 0 25 0 1 0 1801795520 3145728 365 4294967295 134512640 134578447 3221224624 3221223288 1075291632 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 768 365 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 303.25
Current children cumulated vsize (Kb) 3072

[startup+330.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 399 0 0 0 30341 940 0 0 25 0 1 0 1801795520 3145728 365 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 768 365 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 312.81
Current children cumulated vsize (Kb) 3072

[startup+340.017 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 399 0 0 0 31269 967 0 0 25 0 1 0 1801795520 3145728 365 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/15162/statm): 768 365 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 322.36
Current children cumulated vsize (Kb) 3072

[startup+350.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 399 0 0 0 32198 992 0 0 25 0 1 0 1801795520 3145728 365 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 768 365 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 331.9
Current children cumulated vsize (Kb) 3072

[startup+360.019 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 399 0 0 0 33130 1016 0 0 25 0 1 0 1801795520 3145728 365 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 768 365 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 341.46
Current children cumulated vsize (Kb) 3072

[startup+370.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 400 0 0 0 34058 1042 0 0 25 0 1 0 1801795520 3145728 366 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 768 366 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 351
Current children cumulated vsize (Kb) 3072

[startup+380.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 400 0 0 0 34990 1068 0 0 25 0 1 0 1801795520 3145728 366 4294967295 134512640 134578447 3221224624 3221223556 134519841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 768 366 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 360.58
Current children cumulated vsize (Kb) 3072

[startup+390.02 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 400 0 0 0 35916 1095 0 0 25 0 1 0 1801795520 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 768 366 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 370.11
Current children cumulated vsize (Kb) 3072

[startup+400.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 400 0 0 0 36844 1120 0 0 25 0 1 0 1801795520 3145728 366 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 768 366 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 379.64
Current children cumulated vsize (Kb) 3072

[startup+410.022 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 400 0 0 0 37779 1145 0 0 25 0 1 0 1801795520 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 768 366 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 389.24
Current children cumulated vsize (Kb) 3072

[startup+420.022 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 400 0 0 0 38708 1170 0 0 18 0 1 0 1801795520 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 768 366 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 398.78
Current children cumulated vsize (Kb) 3072

[startup+430.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 400 0 0 0 39636 1196 0 0 25 0 1 0 1801795520 3145728 366 4294967295 134512640 134578447 3221224624 3221223504 134527408 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 768 366 566 18 0 750 0
[pid=15162] vsize: 3072
Current children cumulated CPU time (s) 408.32
Current children cumulated vsize (Kb) 3072

[startup+440.022 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 411 0 0 0 40568 1220 0 0 25 0 1 0 1801795520 3264512 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 797 377 566 18 0 779 0
[pid=15162] vsize: 3188
Current children cumulated CPU time (s) 417.88
Current children cumulated vsize (Kb) 3188

[startup+450.023 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 411 0 0 0 41503 1242 0 0 25 0 1 0 1801795520 3256320 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 795 377 566 18 0 777 0
[pid=15162] vsize: 3180
Current children cumulated CPU time (s) 427.45
Current children cumulated vsize (Kb) 3180

[startup+460.023 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 411 0 0 0 42436 1267 0 0 25 0 1 0 1801795520 3256320 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 795 377 566 18 0 777 0
[pid=15162] vsize: 3180
Current children cumulated CPU time (s) 437.03
Current children cumulated vsize (Kb) 3180

[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 411 0 0 0 43364 1294 0 0 21 0 1 0 1801795520 3256320 377 4294967295 134512640 134578447 3221224624 3221223548 134527402 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 795 377 566 18 0 777 0
[pid=15162] vsize: 3180
Current children cumulated CPU time (s) 446.58
Current children cumulated vsize (Kb) 3180

[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 411 0 0 0 44293 1318 0 0 18 0 1 0 1801795520 3256320 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/15162/statm): 795 377 566 18 0 777 0
[pid=15162] vsize: 3180
Current children cumulated CPU time (s) 456.11
Current children cumulated vsize (Kb) 3180

[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 411 0 0 0 45221 1345 0 0 25 0 1 0 1801795520 3256320 377 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15162/statm): 795 377 566 18 0 777 0
[pid=15162] vsize: 3180
Current children cumulated CPU time (s) 465.66
Current children cumulated vsize (Kb) 3180

[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 411 0 0 0 46149 1370 0 0 25 0 1 0 1801795520 3252224 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 794 377 566 18 0 776 0
[pid=15162] vsize: 3176
Current children cumulated CPU time (s) 475.19
Current children cumulated vsize (Kb) 3176

[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 411 0 0 0 47078 1396 0 0 25 0 1 0 1801795520 3248128 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 793 377 566 18 0 775 0
[pid=15162] vsize: 3172
Current children cumulated CPU time (s) 484.74
Current children cumulated vsize (Kb) 3172

[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 411 0 0 0 48006 1422 0 0 25 0 1 0 1801795520 3248128 377 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15162/statm): 793 377 566 18 0 775 0
[pid=15162] vsize: 3172
Current children cumulated CPU time (s) 494.28
Current children cumulated vsize (Kb) 3172

[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 411 0 0 0 48939 1446 0 0 25 0 1 0 1801795520 3248128 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 793 377 566 18 0 775 0
[pid=15162] vsize: 3172
Current children cumulated CPU time (s) 503.85
Current children cumulated vsize (Kb) 3172

[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 411 0 0 0 49860 1473 0 0 25 0 1 0 1801795520 3248128 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/15162/statm): 793 377 566 18 0 775 0
[pid=15162] vsize: 3172
Current children cumulated CPU time (s) 513.33
Current children cumulated vsize (Kb) 3172

[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 411 0 0 0 50788 1498 0 0 25 0 1 0 1801795520 3244032 377 4294967295 134512640 134578447 3221224624 3221223476 134555805 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 792 377 566 18 0 774 0
[pid=15162] vsize: 3168
Current children cumulated CPU time (s) 522.86
Current children cumulated vsize (Kb) 3168

[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) T 15161 15162 31778 0 -1 0 411 0 0 0 51713 1523 0 0 25 0 1 0 1801795520 3239936 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15162/statm): 791 377 566 18 0 773 0
[pid=15162] vsize: 3164
Current children cumulated CPU time (s) 532.36
Current children cumulated vsize (Kb) 3164

[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 15162
Raw data (/proc/15162/stat): 15162 (Pueblo) R 15161 15162 31778 0 -1 0 411 0 0 0 52637 1549 0 0 25 0 1 0 1801795520 3239936 377 4294967295 134512640 134578447 3221224624 3221223572 134558732 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15162/statm): 791 377 566 18 0 773 0
[pid=15162] vsize: 3164
Current children cumulated CPU time (s) 541.86
Current children cumulated vsize (Kb) 3164
One traced child (pid=15162) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 573.742
CPU time (s): 545.387
CPU user time (s): 529.795
CPU system time (s): 15.5916
CPU usage (%): 95.0579
Max. virtual memory (cumulated for all children) (Kb): 3188

Verifier Data

Verifier:	OK	30