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

Nameweb/uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb
MD5SUM59052c182e2f0c4ec9aef432e4002ed0
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 67
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 256
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark21.3408
Number of variables55066
Total number of constraints160619
Number of constraints which are clauses156587
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4032
Minimum length of a constraint1
Maximum length of a constraint13

Trace number 7849

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-20 14:35:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5002 boxname=wulflinc11 idbench=314 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  59052c182e2f0c4ec9aef432e4002ed0  /oldhome/oroussel/tmp/wulflinc11/normalized-elf.rf10.ucl.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5002
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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:        841800 kB
Buffers:         33688 kB
Cached:         132200 kB
SwapCached:        916 kB
Active:          77872 kB
Inactive:        90612 kB
HighTotal:      131008 kB
HighFree:         3836 kB
LowTotal:       903652 kB
LowFree:        837964 kB
SwapTotal:     2097136 kB
SwapFree:      2095640 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5684 kB
Slab:            18808 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 14:40:59 (client local time) WITH STATUS 20 IN 339.876 SECONDS
stats: 5002 7 339.876 20

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: 55066 - #constraints read: 160618
c total time              : 339.84 s
s UNSATISFIABLE

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/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801066641 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5616/statm): 41 3 40 18 0 23 0
[pid=5616] 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.80 0.96 0.96 1/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 117810 0 0 0 753 214 0 0 25 0 1 0 1801066641 35225600 7994 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5616/statm): 8600 7994 566 18 0 8582 0
[pid=5616] vsize: 34400
Current children cumulated CPU time (s) 9.67
Current children cumulated vsize (Kb) 34400

[startup+20.0028 s]
Raw data (loadavg): 0.83 0.96 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 413514 0 0 0 1189 715 0 0 25 0 1 0 1801066641 35446784 8048 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5616/statm): 8654 8048 566 18 0 8636 0
[pid=5616] vsize: 34616
Current children cumulated CPU time (s) 19.04
Current children cumulated vsize (Kb) 34616

[startup+30.0026 s]
Raw data (loadavg): 0.85 0.96 0.96 1/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 712458 0 0 0 1628 1221 0 0 25 0 1 0 1801066641 35446784 8048 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5616/statm): 8654 8048 566 18 0 8636 0
[pid=5616] vsize: 34616
Current children cumulated CPU time (s) 28.49
Current children cumulated vsize (Kb) 34616

[startup+40.0024 s]
Raw data (loadavg): 0.88 0.96 0.96 1/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 1008324 0 0 0 2050 1731 0 0 25 0 1 0 1801066641 35446784 8048 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5616/statm): 8654 8048 566 18 0 8636 0
[pid=5616] vsize: 34616
Current children cumulated CPU time (s) 37.81
Current children cumulated vsize (Kb) 34616

[startup+50.0031 s]
Raw data (loadavg): 0.89 0.96 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 1305287 0 0 0 2473 2243 0 0 25 0 1 0 1801066641 35446784 8011 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 8654 8020 566 18 0 8636 0
[pid=5616] vsize: 34616
Current children cumulated CPU time (s) 47.16
Current children cumulated vsize (Kb) 34616

[startup+60.0029 s]
Raw data (loadavg): 0.91 0.96 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 1602837 0 0 0 2910 2741 0 0 25 0 1 0 1801066641 35446784 8021 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 8654 8031 566 18 0 8636 0
[pid=5616] vsize: 34616
Current children cumulated CPU time (s) 56.51
Current children cumulated vsize (Kb) 34616

[startup+70.0027 s]
Raw data (loadavg): 0.92 0.97 0.96 1/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 1899197 0 0 0 3347 3239 0 0 25 0 1 0 1801066641 35708928 8083 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5616/statm): 8718 8083 566 18 0 8700 0
[pid=5616] vsize: 34872
Current children cumulated CPU time (s) 65.86
Current children cumulated vsize (Kb) 34872

[startup+80.0035 s]
Raw data (loadavg): 0.93 0.97 0.96 1/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 2193610 0 0 0 3781 3736 0 0 20 0 1 0 1801066641 35487744 8034 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5616/statm): 8664 8034 566 18 0 8646 0
[pid=5616] vsize: 34656
Current children cumulated CPU time (s) 75.17
Current children cumulated vsize (Kb) 34656

[startup+90.0033 s]
Raw data (loadavg): 0.94 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 2487800 0 0 0 4204 4245 0 0 25 0 1 0 1801066641 35708928 8086 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5616/statm): 8718 8093 566 18 0 8700 0
[pid=5616] vsize: 34872
Current children cumulated CPU time (s) 84.49
Current children cumulated vsize (Kb) 34872

[startup+100.004 s]
Raw data (loadavg): 0.95 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 2784543 0 0 0 4644 4739 0 0 25 0 1 0 1801066641 35708928 8099 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5616/statm): 8718 8099 566 18 0 8700 0
[pid=5616] vsize: 34872
Current children cumulated CPU time (s) 93.83
Current children cumulated vsize (Kb) 34872

[startup+110.005 s]
Raw data (loadavg): 0.96 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 3080553 0 0 0 5071 5247 0 0 25 0 1 0 1801066641 35708928 8081 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 8718 8091 566 18 0 8700 0
[pid=5616] vsize: 34872
Current children cumulated CPU time (s) 103.18
Current children cumulated vsize (Kb) 34872

[startup+120.005 s]
Raw data (loadavg): 0.97 0.97 0.96 1/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 3374503 0 0 0 5499 5748 0 0 25 0 1 0 1801066641 35487744 8055 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5616/statm): 8664 8055 566 18 0 8646 0
[pid=5616] vsize: 34656
Current children cumulated CPU time (s) 112.47
Current children cumulated vsize (Kb) 34656

[startup+130.004 s]
Raw data (loadavg): 0.97 0.97 0.96 1/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 3669619 0 0 0 5928 6254 0 0 25 0 1 0 1801066641 35971072 8115 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5616/statm): 8782 8115 566 18 0 8764 0
[pid=5616] vsize: 35128
Current children cumulated CPU time (s) 121.82
Current children cumulated vsize (Kb) 35128

[startup+140.005 s]
Raw data (loadavg): 0.97 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 3961096 0 0 0 6354 6761 0 0 25 0 1 0 1801066641 36241408 8154 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 8848 8154 566 18 0 8830 0
[pid=5616] vsize: 35392
Current children cumulated CPU time (s) 131.15
Current children cumulated vsize (Kb) 35392

[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 4252056 0 0 0 6776 7274 0 0 25 0 1 0 1801066641 36646912 8270 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5616/statm): 8947 8270 566 18 0 8929 0
[pid=5616] vsize: 35788
Current children cumulated CPU time (s) 140.5
Current children cumulated vsize (Kb) 35788

[startup+160.006 s]
Raw data (loadavg): 0.98 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 4541224 0 0 0 7203 7782 0 0 25 0 1 0 1801066641 37052416 8376 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5616/statm): 9046 8376 566 18 0 9028 0
[pid=5616] vsize: 36184
Current children cumulated CPU time (s) 149.85
Current children cumulated vsize (Kb) 36184

[startup+170.006 s]
Raw data (loadavg): 0.98 0.97 0.96 1/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 4830742 0 0 0 7619 8302 0 0 25 0 1 0 1801066641 37593088 8508 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5616/statm): 9178 8508 566 18 0 9160 0
[pid=5616] vsize: 36712
Current children cumulated CPU time (s) 159.21
Current children cumulated vsize (Kb) 36712

[startup+180.006 s]
Raw data (loadavg): 0.98 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 5123787 0 0 0 8039 8818 0 0 25 0 1 0 1801066641 37998592 8603 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 9277 8612 566 18 0 9259 0
[pid=5616] vsize: 37108
Current children cumulated CPU time (s) 168.57
Current children cumulated vsize (Kb) 37108

[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.96 1/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 5420015 0 0 0 8469 9325 0 0 25 0 1 0 1801066641 38539264 8695 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5616/statm): 9409 8695 566 18 0 9391 0
[pid=5616] vsize: 37636
Current children cumulated CPU time (s) 177.94
Current children cumulated vsize (Kb) 37636

[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.96 1/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 5717027 0 0 0 8902 9831 0 0 25 0 1 0 1801066641 38944768 8815 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5616/statm): 9508 8815 566 18 0 9490 0
[pid=5616] vsize: 38032
Current children cumulated CPU time (s) 187.33
Current children cumulated vsize (Kb) 38032

[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.96 1/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 6010098 0 0 0 9331 10335 0 0 25 0 1 0 1801066641 39264256 8936 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5616/statm): 9586 8936 566 18 0 9568 0
[pid=5616] vsize: 38344
Current children cumulated CPU time (s) 196.66
Current children cumulated vsize (Kb) 38344

[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 6304416 0 0 0 9757 10846 0 0 25 0 1 0 1801066641 39890944 9062 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 9739 9062 566 18 0 9721 0
[pid=5616] vsize: 38956
Current children cumulated CPU time (s) 206.03
Current children cumulated vsize (Kb) 38956

[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 6598369 0 0 0 10179 11354 0 0 25 0 1 0 1801066641 40431616 9201 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 9871 9201 566 18 0 9853 0
[pid=5616] vsize: 39484
Current children cumulated CPU time (s) 215.33
Current children cumulated vsize (Kb) 39484

[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 6894902 0 0 0 10613 11859 0 0 25 0 1 0 1801066641 40837120 9328 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 9970 9336 566 18 0 9952 0
[pid=5616] vsize: 39880
Current children cumulated CPU time (s) 224.72
Current children cumulated vsize (Kb) 39880

[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 7190759 0 0 0 11038 12370 0 0 25 0 1 0 1801066641 41902080 9481 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 10230 9481 566 18 0 10212 0
[pid=5616] vsize: 40920
Current children cumulated CPU time (s) 234.08
Current children cumulated vsize (Kb) 40920

[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 7487937 0 0 0 11474 12870 0 0 25 0 1 0 1801066641 42442752 9605 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 10362 9605 566 18 0 10344 0
[pid=5616] vsize: 41448
Current children cumulated CPU time (s) 243.44
Current children cumulated vsize (Kb) 41448

[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 7784985 0 0 0 11903 13376 0 0 25 0 1 0 1801066641 42848256 9707 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 10461 9716 566 18 0 10443 0
[pid=5616] vsize: 41844
Current children cumulated CPU time (s) 252.79
Current children cumulated vsize (Kb) 41844

[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.96 1/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 8083905 0 0 0 12332 13879 0 0 25 0 1 0 1801066641 43032576 9791 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5616/statm): 10506 9791 566 18 0 10488 0
[pid=5616] vsize: 42024
Current children cumulated CPU time (s) 262.11
Current children cumulated vsize (Kb) 42024

[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 8383455 0 0 0 12768 14382 0 0 25 0 1 0 1801066641 43794432 9965 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 10692 9965 566 18 0 10674 0
[pid=5616] vsize: 42768
Current children cumulated CPU time (s) 271.5
Current children cumulated vsize (Kb) 42768

[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 8680712 0 0 0 13210 14873 0 0 25 0 1 0 1801066641 45821952 10438 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 11187 10447 566 18 0 11169 0
[pid=5616] vsize: 44748
Current children cumulated CPU time (s) 280.83
Current children cumulated vsize (Kb) 44748

[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 8684139 0 0 0 14203 14879 0 0 25 0 1 0 1801066641 46624768 10647 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 11383 10647 566 18 0 11365 0
[pid=5616] vsize: 45532
Current children cumulated CPU time (s) 290.82
Current children cumulated vsize (Kb) 45532

[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 8684140 0 0 0 15203 14879 0 0 25 0 1 0 1801066641 46624768 10648 4294967295 134512640 134578447 3221224624 3221223476 134555765 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 11383 10648 566 18 0 11365 0
[pid=5616] vsize: 45532
Current children cumulated CPU time (s) 300.82
Current children cumulated vsize (Kb) 45532

[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 8684140 0 0 0 16203 14879 0 0 25 0 1 0 1801066641 46624768 10648 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 11383 10648 566 18 0 11365 0
[pid=5616] vsize: 45532
Current children cumulated CPU time (s) 310.82
Current children cumulated vsize (Kb) 45532

[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 8684140 0 0 0 17203 14879 0 0 25 0 1 0 1801066641 46624768 10648 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 11383 10648 566 18 0 11365 0
[pid=5616] vsize: 45532
Current children cumulated CPU time (s) 320.82
Current children cumulated vsize (Kb) 45532

[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5616
Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 8684140 0 0 0 18204 14879 0 0 25 0 1 0 1801066641 46624768 10648 4294967295 134512640 134578447 3221224624 3221223536 134557228 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5616/statm): 11383 10648 566 18 0 11365 0
[pid=5616] vsize: 45532
Current children cumulated CPU time (s) 330.83
Current children cumulated vsize (Kb) 45532
One traced child (pid=5616) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 359.046
CPU time (s): 339.876
CPU user time (s): 191.057
CPU system time (s): 148.819
CPU usage (%): 94.6608
Max. virtual memory (cumulated for all children) (Kb): 45532

Verifier Data

ERROR: no interpretation found !