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/miplib3/normalized-mps-v2-20-10-markshare1.opb
MD5SUM	c8b965306fec2c21edee64824d12f378
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.08
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 26428

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-24 15:34:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13514 boxname=wulflinc29 idbench=1040 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  c8b965306fec2c21edee64824d12f378  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-markshare1.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-markshare1.opb
IDLAUNCH: 13514
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        867236 kB
Buffers:         35048 kB
Cached:         110996 kB
SwapCached:        768 kB
Active:          56688 kB
Inactive:        91904 kB
HighTotal:      131008 kB
HighFree:        30772 kB
LowTotal:       903652 kB
LowFree:        836464 kB
SwapTotal:     2097892 kB
SwapFree:      2096732 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            13184 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 15:47:33 (client local time) WITH STATUS 0 IN 804.651 SECONDS
stats: 13514 7 804.651 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
Pueblo: 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/wulflinc29/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
Raw data (loadavg): 0.79 0.92 0.98 2/54 20751
Raw data (stat): 20751 (runsolver) R 20750 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831349294 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.82 0.93 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 3211 0 0 0 941 57 0 0 25 0 1 0 831349294 20422656 3189 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4986 3189 566 18 0 4968 0
vsize: 19944
[startup+20.0007 s]
Raw data (loadavg): 0.85 0.93 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 6089 0 0 0 1882 117 0 0 25 0 1 0 831349294 34242560 6067 4294967295 134512640 134581331 3221224592 3221223600 134530845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8360 6067 566 18 0 8342 0
vsize: 33440
[startup+30.0009 s]
Raw data (loadavg): 0.87 0.93 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 10359 0 0 0 2822 177 0 0 25 0 1 0 831349294 57573376 10337 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14056 10337 566 18 0 14038 0
vsize: 56224
[startup+40.0016 s]
Raw data (loadavg): 0.89 0.93 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 11845 0 0 0 3766 233 0 0 25 0 1 0 831349294 61767680 11823 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15080 11823 566 18 0 15062 0
vsize: 60320
[startup+50.0022 s]
Raw data (loadavg): 0.90 0.93 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 14470 0 0 0 4711 288 0 0 25 0 1 0 831349294 83263488 14448 4294967295 134512640 134581331 3221224592 3221223384 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20328 14454 566 18 0 20310 0
vsize: 81312
[startup+60.0022 s]
Raw data (loadavg): 0.92 0.93 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 18173 0 0 0 5653 346 0 0 25 0 1 0 831349294 108441600 18090 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26475 18090 566 18 0 26457 0
vsize: 105900
[startup+70.003 s]
Raw data (loadavg): 0.93 0.94 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 20231 0 0 0 6594 406 0 0 25 0 1 0 831349294 116830208 20148 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28523 20148 566 18 0 28505 0
vsize: 114092
[startup+80.0025 s]
Raw data (loadavg): 0.94 0.94 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 22288 0 0 0 7538 462 0 0 25 0 1 0 831349294 116830208 22205 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28523 22205 566 18 0 28505 0
vsize: 114092
[startup+90.0027 s]
Raw data (loadavg): 0.95 0.94 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 24345 0 0 0 8483 518 0 0 25 0 1 0 831349294 116830208 24262 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28523 24262 566 18 0 28505 0
vsize: 114092
[startup+100.003 s]
Raw data (loadavg): 0.96 0.94 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 29207 0 0 0 9421 580 0 0 25 0 1 0 831349294 208982016 28838 4294967295 134512640 134581331 3221224592 3221223408 1075725705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51277 28838 566 18 0 51259 0
vsize: 204084
[startup+110.003 s]
Raw data (loadavg): 0.96 0.94 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 31562 0 0 0 10367 633 0 0 25 0 1 0 831349294 210030592 31193 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51277 31194 566 18 0 51259 0
vsize: 205108
[startup+120.004 s]
Raw data (loadavg): 0.97 0.94 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 33918 0 0 0 11313 688 0 0 25 0 1 0 831349294 210030592 33549 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51277 33549 566 18 0 51259 0
vsize: 205108
[startup+130.004 s]
Raw data (loadavg): 0.97 0.95 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 36273 0 0 0 12260 740 0 0 25 0 1 0 831349294 210030592 35904 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51277 35904 566 18 0 51259 0
vsize: 205108
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 38629 0 0 0 13202 799 0 0 25 0 1 0 831349294 226807808 38260 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55373 38260 566 18 0 55355 0
vsize: 221492
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 40984 0 0 0 14148 853 0 0 25 0 1 0 831349294 226807808 40615 4294967295 134512640 134581331 3221224592 3221223600 134530003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55373 40615 566 18 0 55355 0
vsize: 221492
[startup+160.004 s]
Raw data (loadavg): 0.98 0.95 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 43202 0 0 0 15097 904 0 0 25 0 1 0 831349294 226807808 42833 4294967295 134512640 134581331 3221224592 3221223552 134526969 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55373 42842 566 18 0 55355 0
vsize: 221492
[startup+170.005 s]
Raw data (loadavg): 0.98 0.95 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 45538 0 0 0 16039 963 0 0 25 0 1 0 831349294 226807808 45169 4294967295 134512640 134581331 3221224592 3221223600 134530010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55373 45169 566 18 0 55355 0
vsize: 221492
[startup+180.005 s]
Raw data (loadavg): 0.99 0.95 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 47894 0 0 0 16979 1023 0 0 25 0 1 0 831349294 226807808 47525 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55373 47525 566 18 0 55355 0
vsize: 221492
[startup+190.006 s]
Raw data (loadavg): 0.99 0.95 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 50250 0 0 0 17927 1075 0 0 25 0 1 0 831349294 226807808 49881 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55373 49881 566 18 0 55355 0
vsize: 221492
[startup+200.005 s]
Raw data (loadavg): 0.99 0.95 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 55427 0 0 0 18865 1137 0 0 25 0 1 0 831349294 411484160 54321 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100460 54321 566 18 0 100442 0
vsize: 401840
[startup+210.005 s]
Raw data (loadavg): 0.99 0.95 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 57755 0 0 0 19814 1189 0 0 25 0 1 0 831349294 411484160 56649 4294967295 134512640 134581331 3221224592 3221223600 134529988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100460 56649 566 18 0 100442 0
vsize: 401840
[startup+220.006 s]
Raw data (loadavg): 0.99 0.95 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 60251 0 0 0 20753 1249 0 0 25 0 1 0 831349294 411484160 59145 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100460 59145 566 18 0 100442 0
vsize: 401840
[startup+230.005 s]
Raw data (loadavg): 0.99 0.95 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 62748 0 0 0 21697 1306 0 0 25 0 1 0 831349294 411484160 61642 4294967295 134512640 134581331 3221224592 3221223600 134530008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100460 61642 566 18 0 100442 0
vsize: 401840
[startup+240.005 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 65244 0 0 0 22642 1361 0 0 25 0 1 0 831349294 411484160 64138 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100460 64138 566 18 0 100442 0
vsize: 401840
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 67572 0 0 0 23585 1418 0 0 25 0 1 0 831349294 411484160 66466 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100460 66466 566 18 0 100442 0
vsize: 401840
[startup+260.005 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 70069 0 0 0 24530 1473 0 0 25 0 1 0 831349294 411484160 68963 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100460 68963 566 18 0 100442 0
vsize: 401840
[startup+270.005 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 72564 0 0 0 25473 1530 0 0 25 0 1 0 831349294 445038592 71458 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108652 71458 566 18 0 108634 0
vsize: 434608
[startup+280.005 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 75061 0 0 0 26417 1586 0 0 25 0 1 0 831349294 445038592 73955 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108652 73955 566 18 0 108634 0
vsize: 434608
[startup+290.005 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 77389 0 0 0 27357 1647 0 0 25 0 1 0 831349294 445038592 76283 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108652 76283 566 18 0 108634 0
vsize: 434608
[startup+300.005 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 79885 0 0 0 28305 1699 0 0 25 0 1 0 831349294 445038592 78779 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108652 78779 566 18 0 108634 0
vsize: 434608
[startup+310.005 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 82382 0 0 0 29251 1753 0 0 25 0 1 0 831349294 445038592 81276 4294967295 134512640 134581331 3221224592 3221223600 134530010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108652 81276 566 18 0 108634 0
vsize: 434608
[startup+320.006 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 84878 0 0 0 30192 1813 0 0 25 0 1 0 831349294 445038592 83772 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108652 83772 566 18 0 108634 0
vsize: 434608
[startup+330.011 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 87206 0 0 0 31144 1861 0 0 25 0 1 0 831349294 445038592 86100 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108652 86100 566 18 0 108634 0
vsize: 434608
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 89703 0 0 0 32088 1917 0 0 25 0 1 0 831349294 445038592 88597 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108652 88597 566 18 0 108634 0
vsize: 434608
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 92199 0 0 0 33032 1973 0 0 25 0 1 0 831349294 445038592 91093 4294967295 134512640 134581331 3221224592 3221223600 134530008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108652 91093 566 18 0 108634 0
vsize: 434608
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 94695 0 0 0 33977 2028 0 0 25 0 1 0 831349294 445038592 93589 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108652 93589 566 18 0 108634 0
vsize: 434608
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 97023 0 0 0 34921 2084 0 0 25 0 1 0 831349294 445038592 95917 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108652 95917 566 18 0 108634 0
vsize: 434608
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 99519 0 0 0 35866 2140 0 0 25 0 1 0 831349294 445038592 98413 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108652 98413 566 18 0 108634 0
vsize: 434608
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 102015 0 0 0 36811 2195 0 0 25 0 1 0 831349294 445038592 100909 4294967295 134512640 134581331 3221224592 3221223600 134530003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108652 100909 566 18 0 108634 0
vsize: 434608
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 104512 0 0 0 37754 2252 0 0 25 0 1 0 831349294 445038592 103406 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108652 103406 566 18 0 108634 0
vsize: 434608
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 109453 0 0 0 38685 2322 0 0 25 0 1 0 831349294 812298240 106874 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198315 106874 566 18 0 198297 0
vsize: 793260
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 112013 0 0 0 39630 2378 0 0 25 0 1 0 831349294 812298240 109434 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198315 109434 566 18 0 198297 0
vsize: 793260
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 114401 0 0 0 40573 2434 0 0 25 0 1 0 831349294 812298240 111822 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198315 111822 566 18 0 198297 0
vsize: 793260
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 116961 0 0 0 41519 2488 0 0 25 0 1 0 831349294 812298240 114382 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198315 114382 566 18 0 198297 0
vsize: 793260
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 119521 0 0 0 42467 2541 0 0 25 0 1 0 831349294 812298240 116942 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198315 116942 566 18 0 198297 0
vsize: 793260
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 121908 0 0 0 43411 2598 0 0 25 0 1 0 831349294 812298240 119329 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198315 119329 566 18 0 198297 0
vsize: 793260
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 124468 0 0 0 44350 2658 0 0 25 0 1 0 831349294 812298240 121889 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198315 121889 566 18 0 198297 0
vsize: 793260
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 127028 0 0 0 45296 2712 0 0 25 0 1 0 831349294 812298240 124449 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198315 124449 566 18 0 198297 0
vsize: 793260
[startup+490.127 s]
Raw data (loadavg): 1.07 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 129591 0 0 0 46249 2771 0 0 25 0 1 0 831349294 812298240 127012 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198315 127012 566 18 0 198297 0
vsize: 793260
[startup+500.127 s]
Raw data (loadavg): 1.06 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 131979 0 0 0 47195 2825 0 0 25 0 1 0 831349294 812298240 129400 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198315 129400 566 18 0 198297 0
vsize: 793260
[startup+510.127 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 134539 0 0 0 48142 2878 0 0 25 0 1 0 831349294 812298240 131960 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198315 131960 566 18 0 198297 0
vsize: 793260
[startup+520.128 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 137099 0 0 0 49086 2933 0 0 25 0 1 0 831349294 812298240 134520 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198315 134520 566 18 0 198297 0
vsize: 793260
[startup+530.128 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 139659 0 0 0 50031 2989 0 0 25 0 1 0 831349294 879407104 137080 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 137080 566 18 0 214681 0
vsize: 858796
[startup+540.129 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 142046 0 0 0 50976 3045 0 0 25 0 1 0 831349294 879407104 139467 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 139467 566 18 0 214681 0
vsize: 858796
[startup+550.144 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 144607 0 0 0 51923 3099 0 0 25 0 1 0 831349294 879407104 142028 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 142028 566 18 0 214681 0
vsize: 858796
[startup+560.159 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 147167 0 0 0 52872 3152 0 0 25 0 1 0 831349294 879407104 144588 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 144588 566 18 0 214681 0
vsize: 858796
[startup+570.209 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 149556 0 0 0 53824 3205 0 0 25 0 1 0 831349294 879407104 146977 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 146977 566 18 0 214681 0
vsize: 858796
[startup+580.242 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 152118 0 0 0 54770 3262 0 0 25 0 1 0 831349294 879407104 149539 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 149539 566 18 0 214681 0
vsize: 858796
[startup+590.243 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 154678 0 0 0 55712 3320 0 0 25 0 1 0 831349294 879407104 152099 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 152099 566 18 0 214681 0
vsize: 858796
[startup+600.243 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 157238 0 0 0 56655 3378 0 0 25 0 1 0 831349294 879407104 154659 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 154659 566 18 0 214681 0
vsize: 858796
[startup+610.242 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 159625 0 0 0 57602 3431 0 0 25 0 1 0 831349294 879407104 157046 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 157046 566 18 0 214681 0
vsize: 858796
[startup+620.243 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 162185 0 0 0 58543 3490 0 0 25 0 1 0 831349294 879407104 159606 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 159606 566 18 0 214681 0
vsize: 858796
[startup+630.243 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 164746 0 0 0 59489 3544 0 0 25 0 1 0 831349294 879407104 162167 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 162167 566 18 0 214681 0
vsize: 858796
[startup+640.244 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 167133 0 0 0 60435 3598 0 0 25 0 1 0 831349294 879407104 164554 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 164554 566 18 0 214681 0
vsize: 858796
[startup+650.244 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 169693 0 0 0 61384 3650 0 0 25 0 1 0 831349294 879407104 167114 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 167114 566 18 0 214681 0
vsize: 858796
[startup+660.244 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 172253 0 0 0 62330 3704 0 0 25 0 1 0 831349294 879407104 169674 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 169674 566 18 0 214681 0
vsize: 858796
[startup+670.245 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 174640 0 0 0 63274 3760 0 0 25 0 1 0 831349294 879407104 172061 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 172061 566 18 0 214681 0
vsize: 858796
[startup+680.245 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 177200 0 0 0 64220 3814 0 0 25 0 1 0 831349294 879407104 174621 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 174621 566 18 0 214681 0
vsize: 858796
[startup+690.245 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 179760 0 0 0 65163 3872 0 0 25 0 1 0 831349294 879407104 177181 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 177181 566 18 0 214681 0
vsize: 858796
[startup+700.246 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 182320 0 0 0 66111 3924 0 0 25 0 1 0 831349294 879407104 179741 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 179741 566 18 0 214681 0
vsize: 858796
[startup+710.245 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 184707 0 0 0 67059 3976 0 0 25 0 1 0 831349294 879407104 182128 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 182128 566 18 0 214681 0
vsize: 858796
[startup+720.245 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 187268 0 0 0 68006 4029 0 0 25 0 1 0 831349294 879407104 184689 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 184689 566 18 0 214681 0
vsize: 858796
[startup+730.246 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 189828 0 0 0 68948 4087 0 0 25 0 1 0 831349294 879407104 187249 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 187249 566 18 0 214681 0
vsize: 858796
[startup+740.246 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 192215 0 0 0 69893 4143 0 0 25 0 1 0 831349294 879407104 189636 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 189636 566 18 0 214681 0
vsize: 858796
[startup+750.246 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 194776 0 0 0 70841 4195 0 0 25 0 1 0 831349294 879407104 192197 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 192197 566 18 0 214681 0
vsize: 858796
[startup+760.246 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 197336 0 0 0 71783 4252 0 0 25 0 1 0 831349294 879407104 194757 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 194757 566 18 0 214681 0
vsize: 858796
[startup+770.247 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 199871 0 0 0 72726 4310 0 0 25 0 1 0 831349294 879407104 197292 4294967295 134512640 134581331 3221224592 3221223552 134526969 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 197301 566 18 0 214681 0
vsize: 858796
[startup+780.247 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 202283 0 0 0 73672 4365 0 0 25 0 1 0 831349294 879407104 199704 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 199704 566 18 0 214681 0
vsize: 858796
[startup+790.247 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 204843 0 0 0 74616 4420 0 0 25 0 1 0 831349294 879407104 202264 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 202264 566 18 0 214681 0
vsize: 858796
[startup+800.248 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 207404 0 0 0 75563 4473 0 0 25 0 1 0 831349294 879407104 204825 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 204825 566 18 0 214681 0
vsize: 858796
[startup+804.522 s]
Raw data (loadavg): 1.00 0.99 0.99 1/53 20751
Raw data (stat): 20751 (Pueblo) R 20750 20001 20000 0 -1 0 207404 0 0 0 75563 4473 0 0 25 0 1 0 831349294 879407104 204825 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214699 204825 566 18 0 214681 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 804.522
CPU time (s): 804.651
CPU user time (s): 759.265
CPU system time (s): 45.3861
CPU usage (%): 100.016
Max. virtual memory (Kb): 858796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####