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/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb
MD5SUM	10386fd19d9976c249ce2be861b38a70
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63488
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6442450938
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	6442450938
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	230
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 38788

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 17:07:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26845 boxname=wulflinc5 idbench=973 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  10386fd19d9976c249ce2be861b38a70  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-markshare1.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-markshare1.opb
IDLAUNCH: 26845
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        576648 kB
Buffers:         35196 kB
Cached:         399844 kB
SwapCached:        568 kB
Active:          36696 kB
Inactive:       400384 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        576396 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            15304 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 17:20:48 (client local time) WITH STATUS 0 IN 801.219 SECONDS
stats: 26845 7 801.219 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
Pueblo-v2: Global.h:70: T* xrealloc(T*, unsigned int) [with T = pbWatchTerm]: Assertion `size == 0 || tmp != __null' failed.
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-markshare1.opb
c #variables read: 230 - #constraints read: 63
#### 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.93 0.97 0.91 2/54 9715
Raw data (stat): 9715 (runsolver) R 9714 7266 7265 0 -1 64 7 0 0 0 0 0 0 0 19 0 1 0 851462687 884736 93 4294967295 134512640 135332820 3221224464 3221219656 134918141 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 3237 0 0 0 950 47 0 0 25 0 1 0 851462687 20459520 3211 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4995 3211 566 18 0 4977 0
vsize: 19980
[startup+20.0005 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 6127 0 0 0 1898 100 0 0 25 0 1 0 851462687 34344960 6101 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8385 6101 566 18 0 8367 0
vsize: 33540
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 10352 0 0 0 2843 155 0 0 25 0 1 0 851462687 57413632 10326 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14017 10326 566 18 0 13999 0
vsize: 56068
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 11826 0 0 0 3788 210 0 0 25 0 1 0 851462687 61607936 11800 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15041 11800 566 18 0 15023 0
vsize: 60164
[startup+50.0017 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 16220 0 0 0 4735 264 0 0 25 0 1 0 851462687 107917312 16108 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26347 16108 566 18 0 26329 0
vsize: 105388
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 18265 0 0 0 5680 319 0 0 25 0 1 0 851462687 107917312 18153 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26347 18153 566 18 0 26329 0
vsize: 105388
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 20178 0 0 0 6626 372 0 0 25 0 1 0 851462687 116305920 20066 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28395 20066 566 18 0 28377 0
vsize: 113580
[startup+80.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 22224 0 0 0 7572 427 0 0 25 0 1 0 851462687 116305920 22112 4294967295 134512640 134581267 3221224576 3221223584 134529999 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28395 22112 566 18 0 28377 0
vsize: 113580
[startup+90.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 24270 0 0 0 8514 485 0 0 25 0 1 0 851462687 116305920 24158 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28395 24158 566 18 0 28377 0
vsize: 113580
[startup+100.013 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 29406 0 0 0 9455 545 0 0 25 0 1 0 851462687 209997824 29000 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51269 29000 566 18 0 51251 0
vsize: 205076
[startup+110.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 31763 0 0 0 10401 600 0 0 25 0 1 0 851462687 209997824 31357 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51269 31357 566 18 0 51251 0
vsize: 205076
[startup+120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 34120 0 0 0 11343 658 0 0 25 0 1 0 851462687 209997824 33714 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51269 33714 566 18 0 51251 0
vsize: 205076
[startup+130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 36477 0 0 0 12286 715 0 0 25 0 1 0 851462687 226775040 36071 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55365 36071 566 18 0 55347 0
vsize: 221460
[startup+140.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 38834 0 0 0 13231 771 0 0 25 0 1 0 851462687 226775040 38428 4294967295 134512640 134581267 3221224576 3221223584 134529956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55365 38428 566 18 0 55347 0
vsize: 221460
[startup+150.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 41184 0 0 0 14181 822 0 0 25 0 1 0 851462687 226775040 40778 4294967295 134512640 134581267 3221224576 3221223536 134526969 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55365 40785 566 18 0 55347 0
vsize: 221460
[startup+160.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 43391 0 0 0 15121 882 0 0 25 0 1 0 851462687 226775040 42985 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55365 42985 566 18 0 55347 0
vsize: 221460
[startup+170.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 45748 0 0 0 16061 941 0 0 25 0 1 0 851462687 226775040 45342 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55365 45342 566 18 0 55347 0
vsize: 221460
[startup+180.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 48105 0 0 0 17009 994 0 0 25 0 1 0 851462687 226775040 47699 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55365 47699 566 18 0 55347 0
vsize: 221460
[startup+190.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 50462 0 0 0 17952 1051 0 0 25 0 1 0 851462687 226775040 50056 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55365 50056 566 18 0 55347 0
vsize: 221460
[startup+200.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 55651 0 0 0 18894 1110 0 0 25 0 1 0 851462687 411418624 54500 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100444 54500 566 18 0 100426 0
vsize: 401776
[startup+210.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 58150 0 0 0 19842 1161 0 0 25 0 1 0 851462687 411418624 56999 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100444 56999 566 18 0 100426 0
vsize: 401776
[startup+220.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 60482 0 0 0 20789 1216 0 0 25 0 1 0 851462687 411418624 59331 4294967295 134512640 134581267 3221224576 3221223536 134527171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100444 59331 566 18 0 100426 0
vsize: 401776
[startup+230.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 62981 0 0 0 21736 1269 0 0 25 0 1 0 851462687 411418624 61830 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100444 61830 566 18 0 100426 0
vsize: 401776
[startup+240.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 65480 0 0 0 22678 1327 0 0 25 0 1 0 851462687 411418624 64329 4294967295 134512640 134581267 3221224576 3221223584 134530796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100444 64329 566 18 0 100426 0
vsize: 401776
[startup+250.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 67978 0 0 0 23624 1381 0 0 25 0 1 0 851462687 411418624 66827 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100444 66827 566 18 0 100426 0
vsize: 401776
[startup+260.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 70477 0 0 0 24574 1431 0 0 25 0 1 0 851462687 444973056 69326 4294967295 134512640 134581267 3221224576 3221223584 134530813 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108636 69326 566 18 0 108618 0
vsize: 434544
[startup+270.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 72976 0 0 0 25521 1484 0 0 25 0 1 0 851462687 444973056 71825 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108636 71825 566 18 0 108618 0
vsize: 434544
[startup+280.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 75474 0 0 0 26468 1537 0 0 25 0 1 0 851462687 444973056 74323 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108636 74323 566 18 0 108618 0
vsize: 434544
[startup+290.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 77806 0 0 0 27414 1592 0 0 25 0 1 0 851462687 444973056 76655 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108636 76655 566 18 0 108618 0
vsize: 434544
[startup+300.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 80305 0 0 0 28362 1643 0 0 25 0 1 0 851462687 444973056 79154 4294967295 134512640 134581267 3221224576 3221223584 134530813 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108636 79154 566 18 0 108618 0
vsize: 434544
[startup+310.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 82803 0 0 0 29312 1694 0 0 25 0 1 0 851462687 444973056 81652 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108636 81652 566 18 0 108618 0
vsize: 434544
[startup+320.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 85302 0 0 0 30255 1751 0 0 25 0 1 0 851462687 444973056 84151 4294967295 134512640 134581267 3221224576 3221223584 134529956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108636 84151 566 18 0 108618 0
vsize: 434544
[startup+330.034 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 87801 0 0 0 31197 1810 0 0 25 0 1 0 851462687 444973056 86650 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108636 86650 566 18 0 108618 0
vsize: 434544
[startup+340.034 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 90300 0 0 0 32144 1863 0 0 25 0 1 0 851462687 444973056 89149 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108636 89149 566 18 0 108618 0
vsize: 434544
[startup+350.034 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 92799 0 0 0 33086 1921 0 0 25 0 1 0 851462687 444973056 91648 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108636 91648 566 18 0 108618 0
vsize: 434544
[startup+360.034 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 95129 0 0 0 34033 1974 0 0 25 0 1 0 851462687 444973056 93978 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108636 93978 566 18 0 108618 0
vsize: 434544
[startup+370.034 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 97628 0 0 0 34973 2034 0 0 25 0 1 0 851462687 444973056 96477 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108636 96477 566 18 0 108618 0
vsize: 434544
[startup+380.035 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 100127 0 0 0 35919 2088 0 0 25 0 1 0 851462687 444973056 98976 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108636 98976 566 18 0 108618 0
vsize: 434544
[startup+390.034 s]
Raw data (loadavg): 1.11 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 102625 0 0 0 36862 2145 0 0 25 0 1 0 851462687 444973056 101474 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108636 101474 566 18 0 108618 0
vsize: 434544
[startup+400.035 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 107693 0 0 0 37793 2215 0 0 25 0 1 0 851462687 812429312 105117 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198347 105117 566 18 0 198329 0
vsize: 793388
[startup+410.035 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 110082 0 0 0 38735 2273 0 0 25 0 1 0 851462687 812429312 107506 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198347 107506 566 18 0 198329 0
vsize: 793388
[startup+420.035 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 112643 0 0 0 39682 2326 0 0 25 0 1 0 851462687 812429312 110067 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198347 110067 566 18 0 198329 0
vsize: 793388
[startup+430.035 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 115204 0 0 0 40625 2383 0 0 25 0 1 0 851462687 812429312 112628 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198347 112628 566 18 0 198329 0
vsize: 793388
[startup+440.034 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 117766 0 0 0 41573 2435 0 0 25 0 1 0 851462687 812429312 115190 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198347 115190 566 18 0 198329 0
vsize: 793388
[startup+450.034 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 120155 0 0 0 42515 2493 0 0 25 0 1 0 851462687 812429312 117579 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198347 117579 566 18 0 198329 0
vsize: 793388
[startup+460.034 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 122716 0 0 0 43458 2550 0 0 25 0 1 0 851462687 812429312 120140 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198347 120140 566 18 0 198329 0
vsize: 793388
[startup+470.034 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 125278 0 0 0 44400 2609 0 0 25 0 1 0 851462687 812429312 122702 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198347 122702 566 18 0 198329 0
vsize: 793388
[startup+480.034 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 127840 0 0 0 45348 2661 0 0 25 0 1 0 851462687 812429312 125264 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198347 125264 566 18 0 198329 0
vsize: 793388
[startup+490.034 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 130229 0 0 0 46293 2716 0 0 25 0 1 0 851462687 812429312 127653 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198347 127653 566 18 0 198329 0
vsize: 793388
[startup+500.035 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 132790 0 0 0 47237 2773 0 0 25 0 1 0 851462687 812429312 130214 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198347 130214 566 18 0 198329 0
vsize: 793388
[startup+510.034 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 135352 0 0 0 48182 2827 0 0 25 0 1 0 851462687 812429312 132776 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198347 132776 566 18 0 198329 0
vsize: 793388
[startup+520.034 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 137913 0 0 0 49128 2882 0 0 25 0 1 0 851462687 812429312 135337 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198347 135337 566 18 0 198329 0
vsize: 793388
[startup+530.034 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 140302 0 0 0 50074 2936 0 0 25 0 1 0 851462687 879538176 137726 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 137726 566 18 0 214713 0
vsize: 858924
[startup+540.034 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 142863 0 0 0 51019 2991 0 0 25 0 1 0 851462687 879538176 140287 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 140287 566 18 0 214713 0
vsize: 858924
[startup+550.034 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 145425 0 0 0 51962 3048 0 0 25 0 1 0 851462687 879538176 142849 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 142849 566 18 0 214713 0
vsize: 858924
[startup+560.033 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 147986 0 0 0 52908 3101 0 0 25 0 1 0 851462687 879538176 145410 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 145410 566 18 0 214713 0
vsize: 858924
[startup+570.034 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 150374 0 0 0 53853 3156 0 0 25 0 1 0 851462687 879538176 147798 4294967295 134512640 134581267 3221224576 3221223584 134529976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 147798 566 18 0 214713 0
vsize: 858924
[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 152936 0 0 0 54799 3209 0 0 25 0 1 0 851462687 879538176 150360 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 150360 566 18 0 214713 0
vsize: 858924
[startup+590.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 155497 0 0 0 55744 3263 0 0 25 0 1 0 851462687 879538176 152921 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 152921 566 18 0 214713 0
vsize: 858924
[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 158058 0 0 0 56686 3320 0 0 25 0 1 0 851462687 879538176 155482 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 155482 566 18 0 214713 0
vsize: 858924
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 160446 0 0 0 57630 3376 0 0 25 0 1 0 851462687 879538176 157870 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 157870 566 18 0 214713 0
vsize: 858924
[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 163007 0 0 0 58571 3434 0 0 25 0 1 0 851462687 879538176 160431 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 160431 566 18 0 214713 0
vsize: 858924
[startup+630.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 165568 0 0 0 59515 3489 0 0 25 0 1 0 851462687 879538176 162992 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 162992 566 18 0 214713 0
vsize: 858924
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 168129 0 0 0 60457 3546 0 0 25 0 1 0 851462687 879538176 165553 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 165553 566 18 0 214713 0
vsize: 858924
[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 170517 0 0 0 61398 3604 0 0 25 0 1 0 851462687 879538176 167941 4294967295 134512640 134581267 3221224576 3221223584 134529936 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 167941 566 18 0 214713 0
vsize: 858924
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 173078 0 0 0 62341 3661 0 0 25 0 1 0 851462687 879538176 170502 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 170503 566 18 0 214713 0
vsize: 858924
[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 175639 0 0 0 63284 3717 0 0 25 0 1 0 851462687 879538176 173063 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 173063 566 18 0 214713 0
vsize: 858924
[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 178200 0 0 0 64227 3773 0 0 25 0 1 0 851462687 879538176 175624 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 175624 566 18 0 214713 0
vsize: 858924
[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 180589 0 0 0 65173 3825 0 0 25 0 1 0 851462687 879538176 178013 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 178013 566 18 0 214713 0
vsize: 858924
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 183146 0 0 0 66116 3882 0 0 25 0 1 0 851462687 879538176 180570 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214731 180570 566 18 0 214713 0
vsize: 858924
[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 185706 0 0 0 67061 3936 0 0 25 0 1 0 851462687 879538176 183130 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 183130 566 18 0 214713 0
vsize: 858924
[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 188094 0 0 0 68002 3994 0 0 25 0 1 0 851462687 879538176 185518 4294967295 134512640 134581267 3221224576 3221223504 134529144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 185518 566 18 0 214713 0
vsize: 858924
[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 190655 0 0 0 68951 4044 0 0 25 0 1 0 851462687 879538176 188079 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 188079 566 18 0 214713 0
vsize: 858924
[startup+740.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 193216 0 0 0 69895 4100 0 0 25 0 1 0 851462687 879538176 190640 4294967295 134512640 134581267 3221224576 3221223584 134529936 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214731 190640 566 18 0 214713 0
vsize: 858924
[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 195602 0 0 0 70836 4158 0 0 25 0 1 0 851462687 879538176 193026 4294967295 134512640 134581267 3221224576 3221223556 134560778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214731 193026 566 18 0 214713 0
vsize: 858924
[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 198161 0 0 0 71780 4211 0 0 25 0 1 0 851462687 879538176 195585 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214731 195585 566 18 0 214713 0
vsize: 858924
[startup+770.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 200718 0 0 0 72725 4265 0 0 25 0 1 0 851462687 879538176 198142 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214731 198142 566 18 0 214713 0
vsize: 858924
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 203103 0 0 0 73670 4320 0 0 25 0 1 0 851462687 879538176 200495 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214731 200495 566 18 0 214713 0
vsize: 858924
[startup+790.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 205660 0 0 0 74612 4377 0 0 25 0 1 0 851462687 879538176 202892 4294967295 134512640 134581267 3221224576 3221223584 134529987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214731 202892 566 18 0 214713 0
vsize: 858924
[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 208044 0 0 0 75558 4430 0 0 25 0 1 0 851462687 879538176 205120 4294967295 134512640 134581267 3221224576 3221223464 134526885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214731 205120 566 18 0 214713 0
vsize: 858924
[startup+801.363 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 9715
Raw data (stat): 9715 (Pueblo-v2) R 9714 7266 7265 0 -1 0 208044 0 0 0 75558 4430 0 0 25 0 1 0 851462687 879538176 205120 4294967295 134512640 134581267 3221224576 3221223464 134526885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214731 205120 566 18 0 214713 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 801.363
CPU time (s): 801.219
CPU user time (s): 756.42
CPU system time (s): 44.7992
CPU usage (%): 99.9821
Max. virtual memory (Kb): 858924
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####