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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50b.opb
MD5SUM	36d973d6ac0a73f611c4998ee3e157d3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	5767168
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	22020075
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	2.84657
Number of variables	960
Total number of constraints	48
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	48
Minimum length of a constraint	40
Maximum length of a constraint	80

Trace number 27627

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-24 23:01:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16162 boxname=wulflinc15 idbench=1244 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  36d973d6ac0a73f611c4998ee3e157d3  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-sc50b.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-sc50b.opb
IDLAUNCH: 16162
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        712508 kB
Buffers:         12588 kB
Cached:         288964 kB
SwapCached:        504 kB
Active:          28204 kB
Inactive:       275680 kB
HighTotal:      131008 kB
HighFree:        93184 kB
LowTotal:       903652 kB
LowFree:        619324 kB
SwapTotal:     2097136 kB
SwapFree:      2096044 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            12524 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:06:56 (client local time) WITH STATUS 0 IN 353.609 SECONDS
stats: 16162 7 353.609 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 960 variables and 68 constraints.
c After prepocess the problem consists of 729 variables and 68 constraints.
c preprocess terminated 0.31 s
c Initial Lower Bound: -16383
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
#### 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.95 0.98 0.91 2/54 29059
Raw data (stat): 29059 (runsolver) R 29058 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775807918 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 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.0004 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 29059
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 8579 0 0 0 975 24 0 0 25 0 1 0 775807918 39124992 8524 4294967295 134512640 134714540 3221224592 3221223312 134556650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9552 8524 1111 63 0 9489 0
vsize: 38208
[startup+20.0012 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 29059
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 15784 0 0 0 1954 44 0 0 25 0 1 0 775807918 68763648 15628 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16788 15628 1111 63 0 16725 0
vsize: 67152
[startup+30.0015 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 22757 0 0 0 2935 63 0 0 25 0 1 0 775807918 99229696 22403 4294967295 134512640 134714540 3221224592 3221223328 134556861 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24226 22403 1111 63 0 24163 0
vsize: 96904
[startup+40.0022 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 29460 0 0 0 3914 85 0 0 25 0 1 0 775807918 125788160 29097 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30710 29097 1111 63 0 30647 0
vsize: 122840
[startup+50.0027 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 38443 0 0 0 4892 107 0 0 25 0 1 0 775807918 161857536 36235 4294967295 134512640 134714540 3221224592 3221223140 134543731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39516 36235 1111 63 0 39453 0
vsize: 158064
[startup+60.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 44039 0 0 0 5877 122 0 0 25 0 1 0 775807918 183676928 41749 4294967295 134512640 134714540 3221224592 3221223232 134696109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44843 41749 1111 63 0 44780 0
vsize: 179372
[startup+70.0044 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 51189 0 0 0 6860 139 0 0 25 0 1 0 775807918 210833408 48553 4294967295 134512640 134714540 3221224592 3221223312 134556927 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51473 48553 1111 63 0 51410 0
vsize: 205892
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 57896 0 0 0 7845 155 0 0 25 0 1 0 775807918 237056000 55260 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57875 55260 1111 63 0 57812 0
vsize: 231500
[startup+90.0045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 63971 0 0 0 8829 171 0 0 25 0 1 0 775807918 260710400 61335 4294967295 134512640 134714540 3221224592 3221223176 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63650 61335 1111 63 0 63587 0
vsize: 254600
[startup+100.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 76296 0 0 0 9803 197 0 0 25 0 1 0 775807918 306475008 68881 4294967295 134512640 134714540 3221224592 3221223232 134696112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74823 68881 1111 63 0 74760 0
vsize: 299292
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 82918 0 0 0 10787 213 0 0 25 0 1 0 775807918 332271616 75341 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81121 75341 1111 63 0 81058 0
vsize: 324484
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 87147 0 0 0 11776 224 0 0 25 0 1 0 775807918 348606464 79408 4294967295 134512640 134714540 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85109 79408 1111 63 0 85046 0
vsize: 340436
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 93606 0 0 0 12758 242 0 0 25 0 1 0 775807918 373882880 85867 4294967295 134512640 134714540 3221224592 3221223132 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91280 85867 1111 63 0 91217 0
vsize: 365120
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 100279 0 0 0 13736 264 0 0 25 0 1 0 775807918 399970304 92540 4294967295 134512640 134714540 3221224592 3221223384 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97649 92540 1111 63 0 97586 0
vsize: 390596
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 108033 0 0 0 14719 281 0 0 25 0 1 0 775807918 427302912 99324 4294967295 134512640 134714540 3221224592 3221223296 134556921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104322 99324 1111 63 0 104259 0
vsize: 417288
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 114548 0 0 0 15702 299 0 0 25 0 1 0 775807918 452849664 105839 4294967295 134512640 134714540 3221224592 3221223312 134556642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110559 105839 1111 63 0 110496 0
vsize: 442236
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 120922 0 0 0 16685 316 0 0 25 0 1 0 775807918 477855744 112213 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116664 112213 1111 63 0 116601 0
vsize: 466656
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 126441 0 0 0 17671 330 0 0 25 0 1 0 775807918 499347456 117732 4294967295 134512640 134714540 3221224592 3221223336 134672913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121911 117732 1111 63 0 121848 0
vsize: 487644
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 139167 0 0 0 18640 361 0 0 25 0 1 0 775807918 546508800 125570 4294967295 134512640 134714540 3221224592 3221223232 134535285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133425 125570 1111 63 0 133362 0
vsize: 533700
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 151420 0 0 0 19614 387 0 0 25 0 1 0 775807918 589258752 132568 4294967295 134512640 134714540 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 143862 132568 1111 63 0 143799 0
vsize: 575448
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 158339 0 0 0 20594 407 0 0 25 0 1 0 775807918 616116224 139165 4294967295 134512640 134714540 3221224592 3221223332 134556729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150419 139165 1111 63 0 150356 0
vsize: 601676
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 164707 0 0 0 21576 425 0 0 25 0 1 0 775807918 640851968 145533 4294967295 134512640 134714540 3221224592 3221222996 1077374062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 156458 145533 1111 63 0 156395 0
vsize: 625832
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 169572 0 0 0 22565 437 0 0 25 0 1 0 775807918 659910656 150398 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161111 150398 1111 63 0 161048 0
vsize: 644444
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 172142 0 0 0 23558 444 0 0 25 0 1 0 775807918 669601792 152646 4294967295 134512640 134714540 3221224592 3221222936 1077377249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 163477 152646 1111 63 0 163414 0
vsize: 653908
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 178561 0 0 0 24542 459 0 0 25 0 1 0 775807918 694607872 159065 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 169582 159065 1111 63 0 169519 0
vsize: 678328
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 184739 0 0 0 25526 475 0 0 25 0 1 0 775807918 718802944 165243 4294967295 134512640 134714540 3221224592 3221223344 134624806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175489 165243 1111 63 0 175426 0
vsize: 701956
[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 190614 0 0 0 26510 492 0 0 25 0 1 0 775807918 741781504 171118 4294967295 134512640 134714540 3221224592 3221223328 134556887 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 181099 171118 1111 63 0 181036 0
vsize: 724396
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 196771 0 0 0 27493 509 0 0 25 0 1 0 775807918 765706240 177275 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 186940 177275 1111 63 0 186877 0
vsize: 747760
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 203185 0 0 0 28474 525 0 0 25 0 1 0 775807918 790847488 183689 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 193078 183689 1111 63 0 193015 0
vsize: 772312
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29061
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 211614 0 0 0 29450 548 0 0 25 0 1 0 775807918 817930240 190184 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 199690 190184 1111 63 0 199627 0
vsize: 798760
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29063
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 217927 0 0 0 30431 567 0 0 25 0 1 0 775807918 842665984 196497 4294967295 134512640 134714540 3221224592 3221223344 134624801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205729 196497 1111 63 0 205666 0
vsize: 822916
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29063
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 224040 0 0 0 31414 584 0 0 25 0 1 0 775807918 866455552 202578 4294967295 134512640 134714540 3221224592 3221223180 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 211537 202579 1111 63 0 211474 0
vsize: 846148
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29063
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 229873 0 24 0 32390 601 0 0 25 0 1 0 775807918 888487936 208186 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 216916 208186 1111 63 0 216853 0
vsize: 867664
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29063
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 236577 0 79 0 33330 618 0 0 25 0 1 0 775807918 912007168 213476 4294967295 134512640 134714540 3221224592 3221223336 134536857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 222658 213476 1111 63 0 222595 0
vsize: 890632
[startup+350.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 29063
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 242561 0 83 0 34307 639 0 0 25 0 1 0 775807918 935120896 217972 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228301 217972 1111 63 0 228238 0
vsize: 913204
[startup+354.163 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 29063
Raw data (stat): 29059 (bsolo_mis) R 29058 23514 23513 0 -1 0 242561 0 83 0 34307 639 0 0 25 0 1 0 775807918 935120896 217972 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228301 217972 1111 63 0 228238 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 354.163
CPU time (s): 353.609
CPU user time (s): 346.736
CPU system time (s): 6.87296
CPU usage (%): 99.8437
Max. virtual memory (Kb): 913204
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####