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

Namesubmitted/een/normalized-stein45.opb
MD5SUM34647f6a75058de4a92f0ff94f3c9005
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 benchmark82.1775
Number of variables45
Total number of constraints331
Number of constraints which are clauses330
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint45

Trace number 7826

Launcher Data

LAUNCH ON wulflinc10 THE 2005-09-20 14:26:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4978 boxname=wulflinc10 idbench=290 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  34647f6a75058de4a92f0ff94f3c9005  /oldhome/oroussel/tmp/wulflinc10/normalized-stein45.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4978
/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:        745064 kB
Buffers:         39288 kB
Cached:         222964 kB
SwapCached:        228 kB
Active:          84836 kB
Inactive:       180308 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        744812 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6292 kB
Slab:            18700 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 14:36:14 (client local time) WITH STATUS 30 IN 549.149 SECONDS
stats: 4978 0 549.149 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: 332
c optimum objective found = 30
c total time              : 549.14 s
s OPTIMUM FOUND
v x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 -x30 -x31 -x32 -x33 -x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44

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/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801056674 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 41 3 40 18 0 23 0
[pid=22406] 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.0028 s]
Raw data (loadavg): 0.93 0.97 0.91 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 319 0 0 0 883 41 0 0 25 0 1 0 1801056674 2895872 285 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/22406/statm): 707 285 566 18 0 689 0
[pid=22406] vsize: 2828
Current children cumulated CPU time (s) 9.24
Current children cumulated vsize (Kb) 2828

[startup+20.0024 s]
Raw data (loadavg): 0.94 0.97 0.91 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 331 0 0 0 1783 76 0 0 25 0 1 0 1801056674 2891776 297 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22406/statm): 706 297 566 18 0 688 0
[pid=22406] vsize: 2824
Current children cumulated CPU time (s) 18.59
Current children cumulated vsize (Kb) 2824

[startup+30.0029 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 340 0 0 0 2691 111 0 0 25 0 1 0 1801056674 2891776 306 4294967295 134512640 134578447 3221224624 3221223508 1075285478 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 706 306 566 18 0 688 0
[pid=22406] vsize: 2824
Current children cumulated CPU time (s) 28.02
Current children cumulated vsize (Kb) 2824

[startup+40.0025 s]
Raw data (loadavg): 0.96 0.97 0.91 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 342 0 0 0 3599 141 0 0 25 0 1 0 1801056674 2891776 308 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/22406/statm): 706 308 566 18 0 688 0
[pid=22406] vsize: 2824
Current children cumulated CPU time (s) 37.4
Current children cumulated vsize (Kb) 2824

[startup+50.0031 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 349 0 0 0 4513 172 0 0 17 0 1 0 1801056674 3006464 315 4294967295 134512640 134578447 3221224624 3221223456 134527203 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 734 315 566 18 0 716 0
[pid=22406] vsize: 2936
Current children cumulated CPU time (s) 46.85
Current children cumulated vsize (Kb) 2936

[startup+60.0026 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 349 0 0 0 5428 201 0 0 25 0 1 0 1801056674 3006464 315 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 734 315 566 18 0 716 0
[pid=22406] vsize: 2936
Current children cumulated CPU time (s) 56.29
Current children cumulated vsize (Kb) 2936

[startup+70.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 349 0 0 0 6342 231 0 0 25 0 1 0 1801056674 3006464 315 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22406/statm): 734 315 566 18 0 716 0
[pid=22406] vsize: 2936
Current children cumulated CPU time (s) 65.73
Current children cumulated vsize (Kb) 2936

[startup+80.0028 s]
Raw data (loadavg): 0.98 0.97 0.91 3/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 356 0 0 0 7267 258 0 0 25 0 1 0 1801056674 3006464 322 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22406/statm): 734 322 566 18 0 716 0
[pid=22406] vsize: 2936
Current children cumulated CPU time (s) 75.25
Current children cumulated vsize (Kb) 2936

[startup+90.0023 s]
Raw data (loadavg): 0.98 0.97 0.91 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 356 0 0 0 8190 286 0 0 25 0 1 0 1801056674 3006464 322 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/22406/statm): 734 322 566 18 0 716 0
[pid=22406] vsize: 2936
Current children cumulated CPU time (s) 84.76
Current children cumulated vsize (Kb) 2936

[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 356 0 0 0 9115 314 0 0 25 0 1 0 1801056674 3006464 322 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/22406/statm): 734 322 566 18 0 716 0
[pid=22406] vsize: 2936
Current children cumulated CPU time (s) 94.29
Current children cumulated vsize (Kb) 2936

[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 356 0 0 0 10037 343 0 0 25 0 1 0 1801056674 3006464 322 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 734 322 566 18 0 716 0
[pid=22406] vsize: 2936
Current children cumulated CPU time (s) 103.8
Current children cumulated vsize (Kb) 2936

[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 365 0 0 0 10955 375 0 0 25 0 1 0 1801056674 3006464 331 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/22406/statm): 734 331 566 18 0 716 0
[pid=22406] vsize: 2936
Current children cumulated CPU time (s) 113.3
Current children cumulated vsize (Kb) 2936

[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 365 0 0 0 11877 404 0 0 25 0 1 0 1801056674 3006464 331 4294967295 134512640 134578447 3221224624 3221223584 134558724 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 734 331 566 18 0 716 0
[pid=22406] vsize: 2936
Current children cumulated CPU time (s) 122.81
Current children cumulated vsize (Kb) 2936

[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 365 0 0 0 12799 433 0 0 25 0 1 0 1801056674 3006464 331 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22406/statm): 734 331 566 18 0 716 0
[pid=22406] vsize: 2936
Current children cumulated CPU time (s) 132.32
Current children cumulated vsize (Kb) 2936

[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 367 0 0 0 13721 459 0 0 25 0 1 0 1801056674 3006464 333 4294967295 134512640 134578447 3221224624 3221223584 134558754 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 734 333 566 18 0 716 0
[pid=22406] vsize: 2936
Current children cumulated CPU time (s) 141.8
Current children cumulated vsize (Kb) 2936

[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 367 0 0 0 14641 487 0 0 25 0 1 0 1801056674 3006464 333 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22406/statm): 734 333 566 18 0 716 0
[pid=22406] vsize: 2936
Current children cumulated CPU time (s) 151.28
Current children cumulated vsize (Kb) 2936

[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 367 0 0 0 15565 515 0 0 17 0 1 0 1801056674 3006464 333 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/22406/statm): 734 333 566 18 0 716 0
[pid=22406] vsize: 2936
Current children cumulated CPU time (s) 160.8
Current children cumulated vsize (Kb) 2936

[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 367 0 0 0 16492 540 0 0 25 0 1 0 1801056674 3006464 333 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/22406/statm): 734 333 566 18 0 716 0
[pid=22406] vsize: 2936
Current children cumulated CPU time (s) 170.32
Current children cumulated vsize (Kb) 2936

[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 376 0 0 0 17415 567 0 0 25 0 1 0 1801056674 3137536 342 4294967295 134512640 134578447 3221224624 3221223540 134552704 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 766 342 566 18 0 748 0
[pid=22406] vsize: 3064
Current children cumulated CPU time (s) 179.82
Current children cumulated vsize (Kb) 3064

[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 376 0 0 0 18339 594 0 0 25 0 1 0 1801056674 3117056 342 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 342 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 189.33
Current children cumulated vsize (Kb) 3044

[startup+210.006 s]
Raw data (loadavg): 1.07 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 378 0 0 0 19263 621 0 0 25 0 1 0 1801056674 3117056 344 4294967295 134512640 134578447 3221224624 3221223536 134516792 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 344 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 198.84
Current children cumulated vsize (Kb) 3044

[startup+220.006 s]
Raw data (loadavg): 1.06 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 378 0 0 0 20189 647 0 0 25 0 1 0 1801056674 3117056 344 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 344 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 208.36
Current children cumulated vsize (Kb) 3044

[startup+230.006 s]
Raw data (loadavg): 1.05 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 379 0 0 0 21113 676 0 0 25 0 1 0 1801056674 3117056 345 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 345 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 217.89
Current children cumulated vsize (Kb) 3044

[startup+240.006 s]
Raw data (loadavg): 1.04 0.99 0.92 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 379 0 0 0 22035 709 0 0 25 0 1 0 1801056674 3117056 345 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/22406/statm): 761 345 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 227.44
Current children cumulated vsize (Kb) 3044

[startup+250.006 s]
Raw data (loadavg): 1.03 0.99 0.92 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 379 0 0 0 22960 736 0 0 25 0 1 0 1801056674 3117056 345 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 345 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 236.96
Current children cumulated vsize (Kb) 3044

[startup+260.007 s]
Raw data (loadavg): 1.03 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 380 0 0 0 23887 762 0 0 25 0 1 0 1801056674 3117056 346 4294967295 134512640 134578447 3221224624 3221223536 134516795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 346 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 246.49
Current children cumulated vsize (Kb) 3044

[startup+270.006 s]
Raw data (loadavg): 1.02 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 380 0 0 0 24812 789 0 0 25 0 1 0 1801056674 3117056 346 4294967295 134512640 134578447 3221224624 3221223376 134528944 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 346 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 256.01
Current children cumulated vsize (Kb) 3044

[startup+280.007 s]
Raw data (loadavg): 1.02 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 381 0 0 0 25738 815 0 0 25 0 1 0 1801056674 3117056 347 4294967295 134512640 134578447 3221224624 3221223520 134519825 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 347 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 265.53
Current children cumulated vsize (Kb) 3044

[startup+290.008 s]
Raw data (loadavg): 1.02 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 390 0 0 0 26663 841 0 0 25 0 1 0 1801056674 3117056 356 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 356 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 275.04
Current children cumulated vsize (Kb) 3044

[startup+300.008 s]
Raw data (loadavg): 1.01 0.99 0.92 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 391 0 0 0 27586 869 0 0 25 0 1 0 1801056674 3117056 357 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 357 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 284.55
Current children cumulated vsize (Kb) 3044

[startup+310.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 392 0 0 0 28515 895 0 0 25 0 1 0 1801056674 3117056 358 4294967295 134512640 134578447 3221224624 3221223536 134557228 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 358 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 294.1
Current children cumulated vsize (Kb) 3044

[startup+320.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 392 0 0 0 29449 918 0 0 25 0 1 0 1801056674 3117056 358 4294967295 134512640 134578447 3221224624 3221223584 134559077 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 358 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 303.67
Current children cumulated vsize (Kb) 3044

[startup+330.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 392 0 0 0 30377 944 0 0 25 0 1 0 1801056674 3117056 358 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 358 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 313.21
Current children cumulated vsize (Kb) 3044

[startup+340.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 392 0 0 0 31306 970 0 0 25 0 1 0 1801056674 3117056 358 4294967295 134512640 134578447 3221224624 3221223584 134558754 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 358 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 322.76
Current children cumulated vsize (Kb) 3044

[startup+350.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 392 0 0 0 32232 997 0 0 25 0 1 0 1801056674 3117056 358 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 358 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 332.29
Current children cumulated vsize (Kb) 3044

[startup+360.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 392 0 0 0 33159 1026 0 0 25 0 1 0 1801056674 3117056 358 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 358 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 341.85
Current children cumulated vsize (Kb) 3044

[startup+370.01 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 392 0 0 0 34084 1054 0 0 25 0 1 0 1801056674 3117056 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 358 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 351.38
Current children cumulated vsize (Kb) 3044

[startup+380.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 393 0 0 0 35011 1079 0 0 25 0 1 0 1801056674 3117056 359 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 359 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 360.9
Current children cumulated vsize (Kb) 3044

[startup+390.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 394 0 0 0 35936 1106 0 0 25 0 1 0 1801056674 3117056 360 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 360 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 370.42
Current children cumulated vsize (Kb) 3044

[startup+400.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 394 0 0 0 36870 1131 0 0 25 0 1 0 1801056674 3117056 360 4294967295 134512640 134578447 3221224624 3221223520 134519885 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 360 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 380.01
Current children cumulated vsize (Kb) 3044

[startup+410.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 394 0 0 0 37800 1155 0 0 25 0 1 0 1801056674 3117056 360 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 360 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 389.55
Current children cumulated vsize (Kb) 3044

[startup+420.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 394 0 0 0 38727 1180 0 0 25 0 1 0 1801056674 3117056 360 4294967295 134512640 134578447 3221224624 3221222208 134533098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 360 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 399.07
Current children cumulated vsize (Kb) 3044

[startup+430.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 394 0 0 0 39649 1208 0 0 25 0 1 0 1801056674 3117056 360 4294967295 134512640 134578447 3221224624 3221223192 1075289825 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 360 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 408.57
Current children cumulated vsize (Kb) 3044

[startup+440.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 394 0 0 0 40578 1236 0 0 25 0 1 0 1801056674 3117056 360 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 761 360 566 18 0 743 0
[pid=22406] vsize: 3044
Current children cumulated CPU time (s) 418.14
Current children cumulated vsize (Kb) 3044

[startup+450.013 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 404 0 0 0 41504 1265 0 0 25 0 1 0 1801056674 3227648 370 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22406/statm): 788 370 566 18 0 770 0
[pid=22406] vsize: 3152
Current children cumulated CPU time (s) 427.69
Current children cumulated vsize (Kb) 3152

[startup+460.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 404 0 0 0 42437 1289 0 0 25 0 1 0 1801056674 3227648 370 4294967295 134512640 134578447 3221224624 3221223564 134527396 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 788 370 566 18 0 770 0
[pid=22406] vsize: 3152
Current children cumulated CPU time (s) 437.26
Current children cumulated vsize (Kb) 3152

[startup+470.013 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 404 0 0 0 43369 1315 0 0 25 0 1 0 1801056674 3227648 370 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22406/statm): 788 370 566 18 0 770 0
[pid=22406] vsize: 3152
Current children cumulated CPU time (s) 446.84
Current children cumulated vsize (Kb) 3152

[startup+480.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 404 0 0 0 44299 1341 0 0 25 0 1 0 1801056674 3227648 370 4294967295 134512640 134578447 3221224624 3221223288 1075291632 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 788 370 566 18 0 770 0
[pid=22406] vsize: 3152
Current children cumulated CPU time (s) 456.4
Current children cumulated vsize (Kb) 3152

[startup+490.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 404 0 0 0 45228 1369 0 0 25 0 1 0 1801056674 3227648 370 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 788 370 566 18 0 770 0
[pid=22406] vsize: 3152
Current children cumulated CPU time (s) 465.97
Current children cumulated vsize (Kb) 3152

[startup+500.014 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 404 0 0 0 46159 1395 0 0 25 0 1 0 1801056674 3227648 370 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22406/statm): 788 370 566 18 0 770 0
[pid=22406] vsize: 3152
Current children cumulated CPU time (s) 475.54
Current children cumulated vsize (Kb) 3152

[startup+510.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 404 0 0 0 47086 1420 0 0 25 0 1 0 1801056674 3227648 370 4294967295 134512640 134578447 3221224624 3221223556 134527675 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 788 370 566 18 0 770 0
[pid=22406] vsize: 3152
Current children cumulated CPU time (s) 485.06
Current children cumulated vsize (Kb) 3152

[startup+520.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 404 0 0 0 48016 1445 0 0 25 0 1 0 1801056674 3227648 370 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 788 370 566 18 0 770 0
[pid=22406] vsize: 3152
Current children cumulated CPU time (s) 494.61
Current children cumulated vsize (Kb) 3152

[startup+530.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 406 0 0 0 48945 1471 0 0 25 0 1 0 1801056674 3227648 372 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 788 372 566 18 0 770 0
[pid=22406] vsize: 3152
Current children cumulated CPU time (s) 504.16
Current children cumulated vsize (Kb) 3152

[startup+540.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 406 0 0 0 49877 1494 0 0 25 0 1 0 1801056674 3227648 372 4294967295 134512640 134578447 3221224624 3221222384 134532177 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22406/statm): 788 372 566 18 0 770 0
[pid=22406] vsize: 3152
Current children cumulated CPU time (s) 513.71
Current children cumulated vsize (Kb) 3152

[startup+550.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 406 0 0 0 50808 1516 0 0 25 0 1 0 1801056674 3219456 372 4294967295 134512640 134578447 3221224624 3221223584 134558714 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 786 372 566 18 0 768 0
[pid=22406] vsize: 3144
Current children cumulated CPU time (s) 523.24
Current children cumulated vsize (Kb) 3144

[startup+560.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 406 0 0 0 51733 1546 0 0 25 0 1 0 1801056674 3219456 372 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 786 372 566 18 0 768 0
[pid=22406] vsize: 3144
Current children cumulated CPU time (s) 532.79
Current children cumulated vsize (Kb) 3144

[startup+570.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22406
Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 406 0 0 0 52662 1572 0 0 25 0 1 0 1801056674 3219456 372 4294967295 134512640 134578447 3221224624 3221223532 1075285472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22406/statm): 786 372 566 18 0 768 0
[pid=22406] vsize: 3144
Current children cumulated CPU time (s) 542.34
Current children cumulated vsize (Kb) 3144
One traced child (pid=22406) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 577.119
CPU time (s): 549.149
CPU user time (s): 533.238
CPU system time (s): 15.9116
CPU usage (%): 95.1537
Max. virtual memory (cumulated for all children) (Kb): 3152

Verifier Data

Verifier:	OK	30