PB'05 competition: run trace

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:

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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
MD5SUM	6bfe4c2dce1e5dbe61cc34b52b1b387f
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(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	130
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	512
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	45.816
Number of variables	87751
Total number of constraints	254772
Number of constraints which are clauses	247060
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	7712
Minimum length of a constraint	1
Maximum length of a constraint	15

Trace number 38484

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 11:05:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26550 boxname=wulflinc2 idbench=280 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  6bfe4c2dce1e5dbe61cc34b52b1b387f  /oldhome/oroussel/tmp/wulflinc2/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
IDLAUNCH: 26550
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        689664 kB
Buffers:         33872 kB
Cached:         288400 kB
SwapCached:       1136 kB
Active:          62244 kB
Inactive:       262484 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        689412 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14600 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 11:15:28 (client local time) WITH STATUS 20 IN 592.371 SECONDS
stats: 26550 7 592.371 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc2/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
c #variables read: 87751 - #constraints read: 254771
s UNSATISFIABLE
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.97 0.93 2/54 21751
Raw data (stat): 21751 (runsolver) R 21750 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849294755 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.97 0.93 2/54 21751
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 10124 0 0 0 971 27 0 0 25 0 1 0 849294755 47079424 10099 4294967295 134512640 134581267 3221224560 3217028844 1075243520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11494 10099 566 18 0 11476 0
vsize: 45976
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.97 0.93 2/54 21751
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 12797 0 0 0 1966 32 0 0 25 0 1 0 849294755 61444096 12646 4294967295 134512640 134581267 3221224560 3221223568 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15001 12646 566 18 0 14983 0
vsize: 60004
[startup+30.0018 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 21751
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 12797 0 0 0 2967 32 0 0 25 0 1 0 849294755 61444096 12646 4294967295 134512640 134581267 3221224560 3221223568 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15001 12646 566 18 0 14983 0
vsize: 60004
[startup+40.0025 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 21751
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 237731 0 0 0 3580 419 0 0 25 0 1 0 849294755 61796352 12690 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15087 12699 566 18 0 15069 0
vsize: 60348
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 550555 0 0 0 4023 976 0 0 25 0 1 0 849294755 61796352 12732 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15001 12646 566 18 0 14983 0
vsize: 60348
[startup+60.0026 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 864501 0 0 0 4470 1529 0 0 25 0 1 0 849294755 61796352 12692 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15087 12702 566 18 0 15069 0
vsize: 60348
[startup+70.0026 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 1178531 0 0 0 4923 2077 0 0 25 0 1 0 849294755 61796352 12650 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15087 12660 566 18 0 15069 0
vsize: 60348
[startup+80.0034 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 1492771 0 0 0 5367 2633 0 0 25 0 1 0 849294755 61796352 12732 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15001 12646 566 18 0 14983 0
vsize: 60348
[startup+90.003 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 1807261 0 0 0 5819 3181 0 0 25 0 1 0 849294755 61796352 12720 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15087 12728 566 18 0 15069 0
vsize: 60348
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 2121840 0 0 0 6267 3733 0 0 25 0 1 0 849294755 61796352 12711 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15087 12719 566 18 0 15069 0
vsize: 60348
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 2436089 0 0 0 6715 4285 0 0 25 0 1 0 849294755 61796352 12716 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15087 12725 566 18 0 15069 0
vsize: 60348
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 2750263 0 0 0 7172 4829 0 0 25 0 1 0 849294755 61796352 12732 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15087 12732 566 18 0 15069 0
vsize: 60348
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 3064461 0 0 0 7618 5382 0 0 25 0 1 0 849294755 61796352 12686 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15087 12695 566 18 0 15069 0
vsize: 60348
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 3378670 0 0 0 8063 5938 0 0 25 0 1 0 849294755 61796352 12651 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15087 12661 566 18 0 15069 0
vsize: 60348
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 3692798 0 0 0 8503 6498 0 0 25 0 1 0 849294755 61796352 12707 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15087 12716 566 18 0 15069 0
vsize: 60348
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4006937 0 0 0 8953 7048 0 0 25 0 1 0 849294755 61796352 12688 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15087 12698 566 18 0 15069 0
vsize: 60348
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4239935 0 0 0 9546 7456 0 0 25 0 1 0 849294755 61968384 12712 4294967295 134512640 134581267 3221224560 3221223568 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15129 12712 566 18 0 15111 0
vsize: 60516
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4239943 0 0 0 10546 7456 0 0 25 0 1 0 849294755 61968384 12720 4294967295 134512640 134581267 3221224560 3221223552 134531688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15129 12720 566 18 0 15111 0
vsize: 60516
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4239950 0 0 0 11546 7456 0 0 25 0 1 0 849294755 61968384 12727 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15129 12727 566 18 0 15111 0
vsize: 60516
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4239957 0 0 0 12546 7456 0 0 25 0 1 0 849294755 61968384 12734 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15129 12734 566 18 0 15111 0
vsize: 60516
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4239965 0 0 0 13546 7456 0 0 25 0 1 0 849294755 61968384 12742 4294967295 134512640 134581267 3221224560 3221223568 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15129 12742 566 18 0 15111 0
vsize: 60516
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4239972 0 0 0 14546 7456 0 0 25 0 1 0 849294755 61968384 12749 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15129 12749 566 18 0 15111 0
vsize: 60516
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4239999 0 0 0 15547 7456 0 0 25 0 1 0 849294755 62103552 12776 4294967295 134512640 134581267 3221224560 3221223552 134531688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15162 12776 566 18 0 15144 0
vsize: 60648
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4240170 0 0 0 16546 7457 0 0 25 0 1 0 849294755 62779392 12947 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15327 12947 566 18 0 15309 0
vsize: 61308
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4240334 0 0 0 17546 7457 0 0 25 0 1 0 849294755 63455232 13111 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15492 13111 566 18 0 15474 0
vsize: 61968
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4240501 0 0 0 18546 7458 0 0 25 0 1 0 849294755 64655360 13278 4294967295 134512640 134581267 3221224560 3221223568 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15785 13278 566 18 0 15767 0
vsize: 63140
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4240669 0 0 0 19545 7459 0 0 25 0 1 0 849294755 65196032 13446 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15917 13446 566 18 0 15899 0
vsize: 63668
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4240837 0 0 0 20544 7460 0 0 25 0 1 0 849294755 65871872 13614 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16082 13614 566 18 0 16064 0
vsize: 64328
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4241006 0 0 0 21544 7460 0 0 25 0 1 0 849294755 66547712 13783 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16247 13783 566 18 0 16229 0
vsize: 64988
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4241171 0 0 0 22544 7460 0 0 25 0 1 0 849294755 67223552 13948 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16412 13948 566 18 0 16394 0
vsize: 65648
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4241336 0 0 0 23543 7461 0 0 25 0 1 0 849294755 67899392 14113 4294967295 134512640 134581267 3221224560 3221223568 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16577 14113 566 18 0 16559 0
vsize: 66308
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4241502 0 0 0 24543 7461 0 0 25 0 1 0 849294755 68575232 14279 4294967295 134512640 134581267 3221224560 3221223568 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16742 14279 566 18 0 16724 0
vsize: 66968
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4241666 0 0 0 25543 7462 0 0 25 0 1 0 849294755 69115904 14443 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16874 14443 566 18 0 16856 0
vsize: 67496
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4241833 0 0 0 26543 7462 0 0 25 0 1 0 849294755 69791744 14610 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17039 14610 566 18 0 17021 0
vsize: 68156
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4241999 0 0 0 27542 7463 0 0 25 0 1 0 849294755 70467584 14776 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17204 14776 566 18 0 17186 0
vsize: 68816
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4242171 0 0 0 28542 7463 0 0 25 0 1 0 849294755 71143424 14948 4294967295 134512640 134581267 3221224560 3221223568 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17369 14948 566 18 0 17351 0
vsize: 69476
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4242343 0 0 0 29542 7464 0 0 25 0 1 0 849294755 71819264 15120 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17534 15120 566 18 0 17516 0
vsize: 70136
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4242520 0 0 0 30541 7464 0 0 25 0 1 0 849294755 72495104 15297 4294967295 134512640 134581267 3221224560 3221223568 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17699 15297 566 18 0 17681 0
vsize: 70796
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4242697 0 0 0 31541 7465 0 0 25 0 1 0 849294755 73170944 15474 4294967295 134512640 134581267 3221224560 3221223552 134531688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17864 15474 566 18 0 17846 0
vsize: 71456
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4242865 0 0 0 32541 7465 0 0 25 0 1 0 849294755 73846784 15642 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18029 15642 566 18 0 18011 0
vsize: 72116
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4243095 0 0 0 33541 7466 0 0 25 0 1 0 849294755 74792960 15872 4294967295 134512640 134581267 3221224560 3221223568 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18260 15872 566 18 0 18242 0
vsize: 73040
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244148 0 0 0 34539 7468 0 0 25 0 1 0 849294755 79306752 16925 4294967295 134512640 134581267 3221224560 3221223456 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19362 16925 566 18 0 19344 0
vsize: 77448
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 35539 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223488 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 77704
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 36539 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223488 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 77704
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 37539 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223392 134531724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 77704
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 38540 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223472 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 77704
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 39540 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223456 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 77704
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 40540 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223504 134559049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 77704
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 41540 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223552 134560622 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 77704
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 42540 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223488 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 77704
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 43540 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223488 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 77704
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 44541 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223440 134560418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 77704
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 45541 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223552 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 77704
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 46541 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223552 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 77704
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 47541 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223440 134560343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 77704
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 48541 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223552 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 77704
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 49541 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223504 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 77704
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 50542 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223504 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 77704
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 51542 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223552 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 77704
[startup+592.274 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 21753
Raw data (stat): 21751 (Pueblo-v2) R 21750 31399 31398 0 -1 0 4244208 0 0 0 51542 7468 0 0 25 0 1 0 849294755 79568896 16985 4294967295 134512640 134581267 3221224560 3221223552 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 16985 566 18 0 19408 0
vsize: 0

Child status: 20
Real time (s): 592.273
CPU time (s): 592.371
CPU user time (s): 517.65
CPU system time (s): 74.7206
CPU usage (%): 100.017
Max. virtual memory (Kb): 77704
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####