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/miplib3/normalized-mps-v2-13-7-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 benchmark79.065
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 8590

Launcher Data

LAUNCH ON wulflinc18 THE 2005-09-20 17:22:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5739 boxname=wulflinc18 idbench=1051 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  5c72b08d2dc855d07dab2f619386e796  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-stein45.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5739
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        843516 kB
Buffers:         31492 kB
Cached:         131428 kB
SwapCached:        756 kB
Active:          79360 kB
Inactive:        86096 kB
HighTotal:      131008 kB
HighFree:         9996 kB
LowTotal:       903652 kB
LowFree:        833520 kB
SwapTotal:     2097892 kB
SwapFree:      2096536 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            20160 kB
Committed_AS:    64188 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 17:32:23 (client local time) WITH STATUS 30 IN 541.212 SECONDS
stats: 5739 0 541.212 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              : 541.2 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/3438/stat): 3438 (Pueblo) R 3437 3438 31027 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1860271418 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3438/statm): 41 3 40 18 0 23 0
[pid=3438] 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.004 s]
Raw data (loadavg): 0.71 0.94 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 323 0 0 0 883 44 0 0 25 0 1 0 1860271418 2904064 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 709 289 566 18 0 691 0
[pid=3438] vsize: 2836
Current children cumulated CPU time (s) 9.27
Current children cumulated vsize (Kb) 2836

[startup+20.0039 s]
Raw data (loadavg): 0.76 0.94 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 337 0 0 0 1782 83 0 0 25 0 1 0 1860271418 2904064 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 709 303 566 18 0 691 0
[pid=3438] vsize: 2836
Current children cumulated CPU time (s) 18.65
Current children cumulated vsize (Kb) 2836

[startup+30.0048 s]
Raw data (loadavg): 0.79 0.94 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) R 3437 3438 31027 0 -1 0 344 0 0 0 2686 116 0 0 25 0 1 0 1860271418 2904064 310 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3438/statm): 709 310 566 18 0 691 0
[pid=3438] vsize: 2836
Current children cumulated CPU time (s) 28.02
Current children cumulated vsize (Kb) 2836

[startup+40.0048 s]
Raw data (loadavg): 0.83 0.94 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 346 0 0 0 3595 149 0 0 22 0 1 0 1860271418 2904064 312 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 709 312 566 18 0 691 0
[pid=3438] vsize: 2836
Current children cumulated CPU time (s) 37.44
Current children cumulated vsize (Kb) 2836

[startup+50.0057 s]
Raw data (loadavg): 0.85 0.94 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) R 3437 3438 31027 0 -1 0 353 0 0 0 4505 183 0 0 25 0 1 0 1860271418 3018752 319 4294967295 134512640 134578447 3221224624 3221223584 134558913 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3438/statm): 737 319 566 18 0 719 0
[pid=3438] vsize: 2948
Current children cumulated CPU time (s) 46.88
Current children cumulated vsize (Kb) 2948

[startup+60.0066 s]
Raw data (loadavg): 0.87 0.95 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 354 0 0 0 5423 213 0 0 25 0 1 0 1860271418 3018752 320 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 737 320 566 18 0 719 0
[pid=3438] vsize: 2948
Current children cumulated CPU time (s) 56.36
Current children cumulated vsize (Kb) 2948

[startup+70.0065 s]
Raw data (loadavg): 0.89 0.95 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 357 0 0 0 6339 242 0 0 21 0 1 0 1860271418 3018752 323 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 737 323 566 18 0 719 0
[pid=3438] vsize: 2948
Current children cumulated CPU time (s) 65.81
Current children cumulated vsize (Kb) 2948

[startup+80.0075 s]
Raw data (loadavg): 0.91 0.95 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 361 0 0 0 7255 272 0 0 25 0 1 0 1860271418 3018752 327 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 737 327 566 18 0 719 0
[pid=3438] vsize: 2948
Current children cumulated CPU time (s) 75.27
Current children cumulated vsize (Kb) 2948

[startup+90.0074 s]
Raw data (loadavg): 0.92 0.95 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) R 3437 3438 31027 0 -1 0 362 0 0 0 8172 301 0 0 19 0 1 0 1860271418 3018752 328 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3438/statm): 737 328 566 18 0 719 0
[pid=3438] vsize: 2948
Current children cumulated CPU time (s) 84.73
Current children cumulated vsize (Kb) 2948

[startup+100.008 s]
Raw data (loadavg): 0.93 0.95 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 364 0 0 0 9090 330 0 0 25 0 1 0 1860271418 3018752 330 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 737 330 566 18 0 719 0
[pid=3438] vsize: 2948
Current children cumulated CPU time (s) 94.2
Current children cumulated vsize (Kb) 2948

[startup+110.009 s]
Raw data (loadavg): 0.94 0.95 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 366 0 0 0 10005 363 0 0 25 0 1 0 1860271418 3018752 332 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 737 332 566 18 0 719 0
[pid=3438] vsize: 2948
Current children cumulated CPU time (s) 103.68
Current children cumulated vsize (Kb) 2948

[startup+120.009 s]
Raw data (loadavg): 0.95 0.95 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 372 0 0 0 10927 390 0 0 25 0 1 0 1860271418 3018752 338 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3438/statm): 737 338 566 18 0 719 0
[pid=3438] vsize: 2948
Current children cumulated CPU time (s) 113.17
Current children cumulated vsize (Kb) 2948

[startup+130.01 s]
Raw data (loadavg): 0.96 0.95 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 373 0 0 0 11847 416 0 0 24 0 1 0 1860271418 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 737 339 566 18 0 719 0
[pid=3438] vsize: 2948
Current children cumulated CPU time (s) 122.63
Current children cumulated vsize (Kb) 2948

[startup+140.01 s]
Raw data (loadavg): 0.96 0.95 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 373 0 0 0 12765 449 0 0 25 0 1 0 1860271418 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 737 339 566 18 0 719 0
[pid=3438] vsize: 2948
Current children cumulated CPU time (s) 132.14
Current children cumulated vsize (Kb) 2948

[startup+150.011 s]
Raw data (loadavg): 0.97 0.95 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 373 0 0 0 13683 476 0 0 25 0 1 0 1860271418 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 737 339 566 18 0 719 0
[pid=3438] vsize: 2948
Current children cumulated CPU time (s) 141.59
Current children cumulated vsize (Kb) 2948

[startup+160.012 s]
Raw data (loadavg): 0.97 0.95 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) R 3437 3438 31027 0 -1 0 373 0 0 0 14610 502 0 0 25 0 1 0 1860271418 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3438/statm): 737 339 566 18 0 719 0
[pid=3438] vsize: 2948
Current children cumulated CPU time (s) 151.12
Current children cumulated vsize (Kb) 2948

[startup+170.012 s]
Raw data (loadavg): 0.98 0.96 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) R 3437 3438 31027 0 -1 0 374 0 0 0 15529 532 0 0 21 0 1 0 1860271418 3018752 340 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3438/statm): 737 340 566 18 0 719 0
[pid=3438] vsize: 2948
Current children cumulated CPU time (s) 160.61
Current children cumulated vsize (Kb) 2948

[startup+180.013 s]
Raw data (loadavg): 0.98 0.96 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 385 0 0 0 16449 559 0 0 24 0 1 0 1860271418 3145728 351 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 351 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 170.08
Current children cumulated vsize (Kb) 3072

[startup+190.014 s]
Raw data (loadavg): 0.98 0.96 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 385 0 0 0 17372 588 0 0 20 0 1 0 1860271418 3145728 351 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 351 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 179.6
Current children cumulated vsize (Kb) 3072

[startup+200.015 s]
Raw data (loadavg): 0.98 0.96 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) R 3437 3438 31027 0 -1 0 387 0 0 0 18296 616 0 0 25 0 1 0 1860271418 3145728 353 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3438/statm): 768 353 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 189.12
Current children cumulated vsize (Kb) 3072

[startup+210.016 s]
Raw data (loadavg): 0.99 0.96 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 387 0 0 0 19224 642 0 0 25 0 1 0 1860271418 3145728 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 353 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 198.66
Current children cumulated vsize (Kb) 3072

[startup+220.015 s]
Raw data (loadavg): 0.99 0.96 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 387 0 0 0 20149 670 0 0 25 0 1 0 1860271418 3145728 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 353 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 208.19
Current children cumulated vsize (Kb) 3072

[startup+230.015 s]
Raw data (loadavg): 0.99 0.96 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 387 0 0 0 21074 696 0 0 25 0 1 0 1860271418 3145728 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 353 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 217.7
Current children cumulated vsize (Kb) 3072

[startup+240.015 s]
Raw data (loadavg): 0.99 0.96 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) R 3437 3438 31027 0 -1 0 387 0 0 0 21996 723 0 0 23 0 1 0 1860271418 3145728 353 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 353 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 227.19
Current children cumulated vsize (Kb) 3072

[startup+250.016 s]
Raw data (loadavg): 0.99 0.96 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 388 0 0 0 22921 750 0 0 25 0 1 0 1860271418 3145728 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 354 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 236.71
Current children cumulated vsize (Kb) 3072

[startup+260.017 s]
Raw data (loadavg): 0.99 0.96 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) R 3437 3438 31027 0 -1 0 388 0 0 0 23850 777 0 0 25 0 1 0 1860271418 3145728 354 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 354 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 246.27
Current children cumulated vsize (Kb) 3072

[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 388 0 0 0 24770 807 0 0 25 0 1 0 1860271418 3145728 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 354 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 255.77
Current children cumulated vsize (Kb) 3072

[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) R 3437 3438 31027 0 -1 0 397 0 0 0 25698 832 0 0 25 0 1 0 1860271418 3145728 363 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 363 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 265.3
Current children cumulated vsize (Kb) 3072

[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) R 3437 3438 31027 0 -1 0 397 0 0 0 26624 860 0 0 25 0 1 0 1860271418 3145728 363 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3438/statm): 768 363 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 274.84
Current children cumulated vsize (Kb) 3072

[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 397 0 0 0 27551 887 0 0 25 0 1 0 1860271418 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 363 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 284.38
Current children cumulated vsize (Kb) 3072

[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 399 0 0 0 28479 913 0 0 25 0 1 0 1860271418 3145728 365 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 365 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 293.92
Current children cumulated vsize (Kb) 3072

[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 399 0 0 0 29404 940 0 0 25 0 1 0 1860271418 3145728 365 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 365 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 303.44
Current children cumulated vsize (Kb) 3072

[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 399 0 0 0 30333 964 0 0 25 0 1 0 1860271418 3145728 365 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 365 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 312.97
Current children cumulated vsize (Kb) 3072

[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 399 0 0 0 31263 988 0 0 25 0 1 0 1860271418 3145728 365 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 365 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 322.51
Current children cumulated vsize (Kb) 3072

[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 399 0 0 0 32190 1014 0 0 25 0 1 0 1860271418 3145728 365 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 365 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 332.04
Current children cumulated vsize (Kb) 3072

[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 400 0 0 0 33123 1035 0 0 25 0 1 0 1860271418 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 366 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 341.58
Current children cumulated vsize (Kb) 3072

[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) R 3437 3438 31027 0 -1 0 400 0 0 0 34050 1062 0 0 25 0 1 0 1860271418 3145728 366 4294967295 134512640 134578447 3221224624 3221223364 1075285088 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 366 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 351.12
Current children cumulated vsize (Kb) 3072

[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 400 0 0 0 34980 1086 0 0 25 0 1 0 1860271418 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 366 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 360.66
Current children cumulated vsize (Kb) 3072

[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 400 0 0 0 35907 1114 0 0 25 0 1 0 1860271418 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 366 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 370.21
Current children cumulated vsize (Kb) 3072

[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 400 0 0 0 36836 1140 0 0 25 0 1 0 1860271418 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 366 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 379.76
Current children cumulated vsize (Kb) 3072

[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 400 0 0 0 37766 1165 0 0 25 0 1 0 1860271418 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 366 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 389.31
Current children cumulated vsize (Kb) 3072

[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 400 0 0 0 38694 1192 0 0 25 0 1 0 1860271418 3145728 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 768 366 566 18 0 750 0
[pid=3438] vsize: 3072
Current children cumulated CPU time (s) 398.86
Current children cumulated vsize (Kb) 3072

[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 411 0 0 0 39621 1219 0 0 25 0 1 0 1860271418 3264512 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 797 377 566 18 0 779 0
[pid=3438] vsize: 3188
Current children cumulated CPU time (s) 408.4
Current children cumulated vsize (Kb) 3188

[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) R 3437 3438 31027 0 -1 0 411 0 0 0 40552 1246 0 0 25 0 1 0 1860271418 3260416 377 4294967295 134512640 134578447 3221224624 3221223492 134528140 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3438/statm): 796 377 566 18 0 778 0
[pid=3438] vsize: 3184
Current children cumulated CPU time (s) 417.98
Current children cumulated vsize (Kb) 3184

[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 411 0 0 0 41483 1270 0 0 25 0 1 0 1860271418 3256320 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 795 377 566 18 0 777 0
[pid=3438] vsize: 3180
Current children cumulated CPU time (s) 427.53
Current children cumulated vsize (Kb) 3180

[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 411 0 0 0 42412 1292 0 0 25 0 1 0 1860271418 3256320 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 795 377 566 18 0 777 0
[pid=3438] vsize: 3180
Current children cumulated CPU time (s) 437.04
Current children cumulated vsize (Kb) 3180

[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 411 0 0 0 43340 1317 0 0 25 0 1 0 1860271418 3256320 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 795 377 566 18 0 777 0
[pid=3438] vsize: 3180
Current children cumulated CPU time (s) 446.57
Current children cumulated vsize (Kb) 3180

[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 411 0 0 0 44270 1342 0 0 25 0 1 0 1860271418 3256320 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 795 377 566 18 0 777 0
[pid=3438] vsize: 3180
Current children cumulated CPU time (s) 456.12
Current children cumulated vsize (Kb) 3180

[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 411 0 0 0 45198 1369 0 0 25 0 1 0 1860271418 3256320 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 795 377 566 18 0 777 0
[pid=3438] vsize: 3180
Current children cumulated CPU time (s) 465.67
Current children cumulated vsize (Kb) 3180

[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) R 3437 3438 31027 0 -1 0 411 0 0 0 46129 1392 0 0 18 0 1 0 1860271418 3248128 377 4294967295 134512640 134578447 3221224624 3221223572 134558732 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3438/statm): 793 377 566 18 0 775 0
[pid=3438] vsize: 3172
Current children cumulated CPU time (s) 475.21
Current children cumulated vsize (Kb) 3172

[startup+510.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) R 3437 3438 31027 0 -1 0 411 0 0 0 47054 1417 0 0 25 0 1 0 1860271418 3248128 377 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3438/statm): 793 377 566 18 0 775 0
[pid=3438] vsize: 3172
Current children cumulated CPU time (s) 484.71
Current children cumulated vsize (Kb) 3172

[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 411 0 0 0 47990 1440 0 0 25 0 1 0 1860271418 3248128 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 793 377 566 18 0 775 0
[pid=3438] vsize: 3172
Current children cumulated CPU time (s) 494.3
Current children cumulated vsize (Kb) 3172

[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) R 3437 3438 31027 0 -1 0 411 0 0 0 48917 1465 0 0 25 0 1 0 1860271418 3248128 377 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3438/statm): 793 377 566 18 0 775 0
[pid=3438] vsize: 3172
Current children cumulated CPU time (s) 503.82
Current children cumulated vsize (Kb) 3172

[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) R 3437 3438 31027 0 -1 0 411 0 0 0 49847 1490 0 0 25 0 1 0 1860271418 3244032 377 4294967295 134512640 134578447 3221224624 3221223504 134527570 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3438/statm): 792 377 566 18 0 774 0
[pid=3438] vsize: 3168
Current children cumulated CPU time (s) 513.37
Current children cumulated vsize (Kb) 3168

[startup+550.033 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 411 0 0 0 50775 1514 0 0 25 0 1 0 1860271418 3239936 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 791 377 566 18 0 773 0
[pid=3438] vsize: 3164
Current children cumulated CPU time (s) 522.89
Current children cumulated vsize (Kb) 3164

[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 3438
Raw data (/proc/3438/stat): 3438 (Pueblo) T 3437 3438 31027 0 -1 0 411 0 0 0 51697 1543 0 0 25 0 1 0 1860271418 3239936 377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3438/statm): 791 377 566 18 0 773 0
[pid=3438] vsize: 3164
Current children cumulated CPU time (s) 532.4
Current children cumulated vsize (Kb) 3164
One traced child (pid=3438) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 569.326
CPU time (s): 541.212
CPU user time (s): 525.481
CPU system time (s): 15.7306
CPU usage (%): 95.0619
Max. virtual memory (cumulated for all children) (Kb): 3188

Verifier Data

Verifier:	OK	30