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-ooo.tag12.ucl.opb
MD5SUM04162d5197113d66489e9d95b6572385
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 41
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 134
Number of bits of the biggest sum of numbers8
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark38.9081
Number of variables20605
Total number of constraints59851
Number of constraints which are clauses58675
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1176
Minimum length of a constraint1
Maximum length of a constraint11

Trace number 7856

Launcher Data

LAUNCH ON wulflinc30 THE 2005-09-20 14:37:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5021 boxname=wulflinc30 idbench=333 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  04162d5197113d66489e9d95b6572385  /oldhome/oroussel/tmp/wulflinc30/normalized-ooo.tag12.ucl.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5021
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        845472 kB
Buffers:         34496 kB
Cached:         124520 kB
SwapCached:        784 kB
Active:          83444 kB
Inactive:        78292 kB
HighTotal:      131008 kB
HighFree:        16716 kB
LowTotal:       903652 kB
LowFree:        828756 kB
SwapTotal:     2097892 kB
SwapFree:      2096640 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5792 kB
Slab:            21720 kB
Committed_AS:    64272 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 14:48:26 (client local time) WITH STATUS 20 IN 679.285 SECONDS
stats: 5021 7 679.285 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: 20605 - #constraints read: 59850
c total time              : 679.25 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/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859298024 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8456/statm): 41 3 40 18 0 23 0
[pid=8456] 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.0029 s]
Raw data (loadavg): 0.92 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 3234 0 0 0 984 11 0 0 25 0 1 0 1859298024 15671296 3200 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 3826 3200 566 18 0 3808 0
[pid=8456] vsize: 15304
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 15304

[startup+20.0037 s]
Raw data (loadavg): 0.93 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 3872 0 0 0 1982 13 0 0 25 0 1 0 1859298024 18366464 3838 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 4484 3838 566 18 0 4466 0
[pid=8456] vsize: 17936
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 17936

[startup+30.0045 s]
Raw data (loadavg): 0.94 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 2980 14 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223520 134519887 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0
[pid=8456] vsize: 19064
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (Kb) 19064

[startup+40.0053 s]
Raw data (loadavg): 0.95 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 3981 14 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223568 134558655 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0
[pid=8456] vsize: 19064
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 19064

[startup+50.0061 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 4981 14 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223504 134519923 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0
[pid=8456] vsize: 19064
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (Kb) 19064

[startup+60.0059 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 5981 15 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0
[pid=8456] vsize: 19064
Current children cumulated CPU time (s) 59.96
Current children cumulated vsize (Kb) 19064

[startup+70.0067 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 6981 15 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223476 134555904 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0
[pid=8456] vsize: 19064
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 19064

[startup+80.0075 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 7981 15 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223520 134519783 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0
[pid=8456] vsize: 19064
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 19064

[startup+90.0083 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 8982 15 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0
[pid=8456] vsize: 19064
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 19064

[startup+100.009 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 9982 15 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223520 134520053 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0
[pid=8456] vsize: 19064
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 19064

[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 10982 15 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0
[pid=8456] vsize: 19064
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 19064

[startup+120.01 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4239 0 0 0 11982 15 0 0 25 0 1 0 1859298024 19914752 4205 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 4862 4205 566 18 0 4844 0
[pid=8456] vsize: 19448
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 19448

[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4509 0 0 0 12981 16 0 0 25 0 1 0 1859298024 21151744 4475 4294967295 134512640 134578447 3221224624 3221223520 134519831 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 5164 4475 566 18 0 5146 0
[pid=8456] vsize: 20656
Current children cumulated CPU time (s) 129.97
Current children cumulated vsize (Kb) 20656

[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4638 0 0 0 13980 17 0 0 25 0 1 0 1859298024 21557248 4604 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 5263 4604 566 18 0 5245 0
[pid=8456] vsize: 21052
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 21052

[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4786 0 0 0 14979 18 0 0 25 0 1 0 1859298024 22335488 4752 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 5453 4752 566 18 0 5435 0
[pid=8456] vsize: 21812
Current children cumulated CPU time (s) 149.97
Current children cumulated vsize (Kb) 21812

[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 5040 0 0 0 15979 18 0 0 25 0 1 0 1859298024 23257088 5006 4294967295 134512640 134578447 3221224624 3221223520 134519828 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 5678 5006 566 18 0 5660 0
[pid=8456] vsize: 22712
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (Kb) 22712

[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 5217 0 0 0 16977 19 0 0 25 0 1 0 1859298024 24035328 5183 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 5868 5183 566 18 0 5850 0
[pid=8456] vsize: 23472
Current children cumulated CPU time (s) 169.96
Current children cumulated vsize (Kb) 23472

[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 5409 0 0 0 17976 20 0 0 25 0 1 0 1859298024 24817664 5375 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 6059 5375 566 18 0 6041 0
[pid=8456] vsize: 24236
Current children cumulated CPU time (s) 179.96
Current children cumulated vsize (Kb) 24236

[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 5603 0 0 0 18976 21 0 0 25 0 1 0 1859298024 25595904 5569 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 6249 5569 566 18 0 6231 0
[pid=8456] vsize: 24996
Current children cumulated CPU time (s) 189.97
Current children cumulated vsize (Kb) 24996

[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 5791 0 0 0 19975 22 0 0 25 0 1 0 1859298024 26398720 5757 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 6445 5757 566 18 0 6427 0
[pid=8456] vsize: 25780
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (Kb) 25780

[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 5930 0 0 0 20975 22 0 0 25 0 1 0 1859298024 26927104 5896 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 6574 5896 566 18 0 6556 0
[pid=8456] vsize: 26296
Current children cumulated CPU time (s) 209.97
Current children cumulated vsize (Kb) 26296

[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 6104 0 0 0 21974 22 0 0 25 0 1 0 1859298024 27602944 6070 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 6739 6070 566 18 0 6721 0
[pid=8456] vsize: 26956
Current children cumulated CPU time (s) 219.96
Current children cumulated vsize (Kb) 26956

[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 6200 0 0 0 22974 23 0 0 25 0 1 0 1859298024 28004352 6166 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 6837 6166 566 18 0 6819 0
[pid=8456] vsize: 27348
Current children cumulated CPU time (s) 229.97
Current children cumulated vsize (Kb) 27348

[startup+240.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 6322 0 0 0 23974 23 0 0 25 0 1 0 1859298024 28528640 6288 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 6965 6288 566 18 0 6947 0
[pid=8456] vsize: 27860
Current children cumulated CPU time (s) 239.97
Current children cumulated vsize (Kb) 27860

[startup+250.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 6503 0 0 0 24974 23 0 0 25 0 1 0 1859298024 29339648 6469 4294967295 134512640 134578447 3221224624 3221223476 134555737 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 7163 6469 566 18 0 7145 0
[pid=8456] vsize: 28652
Current children cumulated CPU time (s) 249.97
Current children cumulated vsize (Kb) 28652

[startup+260.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 6701 0 0 0 25973 24 0 0 25 0 1 0 1859298024 30273536 6667 4294967295 134512640 134578447 3221224624 3221223520 134519801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 7391 6667 566 18 0 7373 0
[pid=8456] vsize: 29564
Current children cumulated CPU time (s) 259.97
Current children cumulated vsize (Kb) 29564

[startup+270.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 6851 0 0 0 26973 24 0 0 25 0 1 0 1859298024 30814208 6817 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 7523 6817 566 18 0 7505 0
[pid=8456] vsize: 30092
Current children cumulated CPU time (s) 269.97
Current children cumulated vsize (Kb) 30092

[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 7040 0 0 0 27972 25 0 0 25 0 1 0 1859298024 31608832 7006 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 7717 7006 566 18 0 7699 0
[pid=8456] vsize: 30868
Current children cumulated CPU time (s) 279.97
Current children cumulated vsize (Kb) 30868

[startup+290.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 7191 0 0 0 28972 25 0 0 25 0 1 0 1859298024 32129024 7157 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 7844 7157 566 18 0 7826 0
[pid=8456] vsize: 31376
Current children cumulated CPU time (s) 289.97
Current children cumulated vsize (Kb) 31376

[startup+300.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 7442 0 0 0 29972 26 0 0 25 0 1 0 1859298024 33312768 7408 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 8133 7408 566 18 0 8115 0
[pid=8456] vsize: 32532
Current children cumulated CPU time (s) 299.98
Current children cumulated vsize (Kb) 32532

[startup+310.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 7587 0 0 0 30971 26 0 0 25 0 1 0 1859298024 33849344 7553 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 8264 7553 566 18 0 8246 0
[pid=8456] vsize: 33056
Current children cumulated CPU time (s) 309.97
Current children cumulated vsize (Kb) 33056

[startup+320.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 7939 0 0 0 31970 27 0 0 25 0 1 0 1859298024 35299328 7905 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 8618 7905 566 18 0 8600 0
[pid=8456] vsize: 34472
Current children cumulated CPU time (s) 319.97
Current children cumulated vsize (Kb) 34472

[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 8160 0 0 0 32969 28 0 0 25 0 1 0 1859298024 36220928 8126 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 8843 8126 566 18 0 8825 0
[pid=8456] vsize: 35372
Current children cumulated CPU time (s) 329.97
Current children cumulated vsize (Kb) 35372

[startup+340.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 8328 0 0 0 33969 29 0 0 25 0 1 0 1859298024 36945920 8294 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 9020 8294 566 18 0 9002 0
[pid=8456] vsize: 36080
Current children cumulated CPU time (s) 339.98
Current children cumulated vsize (Kb) 36080

[startup+350.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 8530 0 0 0 34968 29 0 0 25 0 1 0 1859298024 37756928 8496 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 9218 8496 566 18 0 9200 0
[pid=8456] vsize: 36872
Current children cumulated CPU time (s) 349.97
Current children cumulated vsize (Kb) 36872

[startup+360.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 8758 0 0 0 35967 30 0 0 25 0 1 0 1859298024 38707200 8724 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 9450 8724 566 18 0 9432 0
[pid=8456] vsize: 37800
Current children cumulated CPU time (s) 359.97
Current children cumulated vsize (Kb) 37800

[startup+370.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 8977 0 0 0 36966 31 0 0 25 0 1 0 1859298024 39694336 8943 4294967295 134512640 134578447 3221224624 3221223568 134558636 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 9691 8943 566 18 0 9673 0
[pid=8456] vsize: 38764
Current children cumulated CPU time (s) 369.97
Current children cumulated vsize (Kb) 38764

[startup+380.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 9152 0 0 0 37966 31 0 0 25 0 1 0 1859298024 40361984 9118 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 9854 9118 566 18 0 9836 0
[pid=8456] vsize: 39416
Current children cumulated CPU time (s) 379.97
Current children cumulated vsize (Kb) 39416

[startup+390.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 9374 0 0 0 38965 32 0 0 25 0 1 0 1859298024 41279488 9340 4294967295 134512640 134578447 3221224624 3221223472 134558418 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 10078 9340 566 18 0 10060 0
[pid=8456] vsize: 40312
Current children cumulated CPU time (s) 389.97
Current children cumulated vsize (Kb) 40312

[startup+400.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 9524 0 0 0 39965 33 0 0 25 0 1 0 1859298024 41869312 9490 4294967295 134512640 134578447 3221224624 3221223560 134519842 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 10222 9490 566 18 0 10204 0
[pid=8456] vsize: 40888
Current children cumulated CPU time (s) 399.98
Current children cumulated vsize (Kb) 40888

[startup+410.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 9793 0 0 0 40964 33 0 0 25 0 1 0 1859298024 42930176 9759 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 10481 9759 566 18 0 10463 0
[pid=8456] vsize: 41924
Current children cumulated CPU time (s) 409.97
Current children cumulated vsize (Kb) 41924

[startup+420.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 9983 0 0 0 41964 34 0 0 25 0 1 0 1859298024 43737088 9949 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 10678 9949 566 18 0 10660 0
[pid=8456] vsize: 42712
Current children cumulated CPU time (s) 419.98
Current children cumulated vsize (Kb) 42712

[startup+430.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 10176 0 0 0 42964 34 0 0 25 0 1 0 1859298024 44535808 10142 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 10873 10142 566 18 0 10855 0
[pid=8456] vsize: 43492
Current children cumulated CPU time (s) 429.98
Current children cumulated vsize (Kb) 43492

[startup+440.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 10351 0 0 0 43964 34 0 0 25 0 1 0 1859298024 45195264 10317 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 11034 10317 566 18 0 11016 0
[pid=8456] vsize: 44136
Current children cumulated CPU time (s) 439.98
Current children cumulated vsize (Kb) 44136

[startup+450.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 10547 0 0 0 44963 35 0 0 25 0 1 0 1859298024 46096384 10513 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 11254 10513 566 18 0 11236 0
[pid=8456] vsize: 45016
Current children cumulated CPU time (s) 449.98
Current children cumulated vsize (Kb) 45016

[startup+460.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 10761 0 0 0 45963 35 0 0 25 0 1 0 1859298024 46891008 10727 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 11448 10727 566 18 0 11430 0
[pid=8456] vsize: 45792
Current children cumulated CPU time (s) 459.98
Current children cumulated vsize (Kb) 45792

[startup+470.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 10987 0 0 0 46962 36 0 0 25 0 1 0 1859298024 47833088 10953 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 11678 10953 566 18 0 11660 0
[pid=8456] vsize: 46712
Current children cumulated CPU time (s) 469.98
Current children cumulated vsize (Kb) 46712

[startup+480.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 11202 0 0 0 47961 37 0 0 25 0 1 0 1859298024 48803840 11168 4294967295 134512640 134578447 3221224624 3221223536 134557211 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 11915 11168 566 18 0 11897 0
[pid=8456] vsize: 47660
Current children cumulated CPU time (s) 479.98
Current children cumulated vsize (Kb) 47660

[startup+490.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 11398 0 0 0 48961 38 0 0 25 0 1 0 1859298024 49467392 11364 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 12077 11364 566 18 0 12059 0
[pid=8456] vsize: 48308
Current children cumulated CPU time (s) 489.99
Current children cumulated vsize (Kb) 48308

[startup+500.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 11651 0 0 0 49960 38 0 0 25 0 1 0 1859298024 50561024 11617 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 12344 11617 566 18 0 12326 0
[pid=8456] vsize: 49376
Current children cumulated CPU time (s) 499.98
Current children cumulated vsize (Kb) 49376

[startup+510.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 11869 0 0 0 50959 39 0 0 25 0 1 0 1859298024 51482624 11835 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 12569 11835 566 18 0 12551 0
[pid=8456] vsize: 50276
Current children cumulated CPU time (s) 509.98
Current children cumulated vsize (Kb) 50276

[startup+520.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 11969 0 0 0 51959 40 0 0 25 0 1 0 1859298024 51888128 11935 4294967295 134512640 134578447 3221224624 3221223472 134558456 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 12668 11935 566 18 0 12650 0
[pid=8456] vsize: 50672
Current children cumulated CPU time (s) 519.99
Current children cumulated vsize (Kb) 50672

[startup+530.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 12085 0 0 0 52959 40 0 0 25 0 1 0 1859298024 52289536 12051 4294967295 134512640 134578447 3221224624 3221223476 134555832 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 12766 12051 566 18 0 12748 0
[pid=8456] vsize: 51064
Current children cumulated CPU time (s) 529.99
Current children cumulated vsize (Kb) 51064

[startup+540.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 12256 0 0 0 53958 40 0 0 25 0 1 0 1859298024 53338112 12222 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 13022 12222 566 18 0 13004 0
[pid=8456] vsize: 52088
Current children cumulated CPU time (s) 539.98
Current children cumulated vsize (Kb) 52088

[startup+550.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 12427 0 0 0 54958 41 0 0 25 0 1 0 1859298024 53997568 12393 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 13183 12393 566 18 0 13165 0
[pid=8456] vsize: 52732
Current children cumulated CPU time (s) 549.99
Current children cumulated vsize (Kb) 52732

[startup+560.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 12677 0 0 0 55957 42 0 0 25 0 1 0 1859298024 55083008 12643 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 13448 12643 566 18 0 13430 0
[pid=8456] vsize: 53792
Current children cumulated CPU time (s) 559.99
Current children cumulated vsize (Kb) 53792

[startup+570.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 12748 0 0 0 56957 42 0 0 25 0 1 0 1859298024 55349248 12714 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 13513 12714 566 18 0 13495 0
[pid=8456] vsize: 54052
Current children cumulated CPU time (s) 569.99
Current children cumulated vsize (Kb) 54052

[startup+580.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 12976 0 0 0 57955 43 0 0 25 0 1 0 1859298024 56266752 12942 4294967295 134512640 134578447 3221224624 3221223472 134558194 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 13737 12942 566 18 0 13719 0
[pid=8456] vsize: 54948
Current children cumulated CPU time (s) 579.98
Current children cumulated vsize (Kb) 54948

[startup+590.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13147 0 0 0 58955 44 0 0 25 0 1 0 1859298024 56938496 13113 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 13901 13113 566 18 0 13883 0
[pid=8456] vsize: 55604
Current children cumulated CPU time (s) 589.99
Current children cumulated vsize (Kb) 55604

[startup+600.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13184 0 0 0 59955 44 0 0 25 0 1 0 1859298024 57200640 13150 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 13965 13150 566 18 0 13947 0
[pid=8456] vsize: 55860
Current children cumulated CPU time (s) 599.99
Current children cumulated vsize (Kb) 55860

[startup+610.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13184 0 0 0 60955 44 0 0 25 0 1 0 1859298024 57200640 13150 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 13965 13150 566 18 0 13947 0
[pid=8456] vsize: 55860
Current children cumulated CPU time (s) 609.99
Current children cumulated vsize (Kb) 55860

[startup+620.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13184 0 0 0 61955 44 0 0 25 0 1 0 1859298024 57200640 13150 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 13965 13150 566 18 0 13947 0
[pid=8456] vsize: 55860
Current children cumulated CPU time (s) 619.99
Current children cumulated vsize (Kb) 55860

[startup+630.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13184 0 0 0 62955 44 0 0 25 0 1 0 1859298024 57200640 13150 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 13965 13150 566 18 0 13947 0
[pid=8456] vsize: 55860
Current children cumulated CPU time (s) 629.99
Current children cumulated vsize (Kb) 55860

[startup+640.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13184 0 0 0 63955 44 0 0 25 0 1 0 1859298024 57200640 13150 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 13965 13150 566 18 0 13947 0
[pid=8456] vsize: 55860
Current children cumulated CPU time (s) 639.99
Current children cumulated vsize (Kb) 55860

[startup+650.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13184 0 0 0 64956 44 0 0 25 0 1 0 1859298024 57200640 13150 4294967295 134512640 134578447 3221224624 3221223536 134557241 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 13965 13150 566 18 0 13947 0
[pid=8456] vsize: 55860
Current children cumulated CPU time (s) 650
Current children cumulated vsize (Kb) 55860

[startup+660.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13184 0 0 0 65956 44 0 0 25 0 1 0 1859298024 57200640 13150 4294967295 134512640 134578447 3221224624 3221223476 134555904 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 13965 13150 566 18 0 13947 0
[pid=8456] vsize: 55860
Current children cumulated CPU time (s) 660
Current children cumulated vsize (Kb) 55860

[startup+670.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8456
Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13184 0 0 0 66956 44 0 0 25 0 1 0 1859298024 57200640 13150 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8456/statm): 13965 13150 566 18 0 13947 0
[pid=8456] vsize: 55860
Current children cumulated CPU time (s) 670
Current children cumulated vsize (Kb) 55860
One traced child (pid=8456) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 679.31
CPU time (s): 679.285
CPU user time (s): 678.812
CPU system time (s): 0.472928
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (Kb): 55860

Verifier Data

ERROR: no interpretation found !