Trace number 349036

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 into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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 X seconds (see the parameters in the trace). 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 X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    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.
  5. 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 provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.4? (TO) 1800.27 1800.88

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.29.opb
MD5SUMb0a7c1cc13cb603591c6d50e3dba1a47
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14500
Total number of constraints461872
Number of constraints which are clauses461872
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint29
Number of terms in the objective function 14500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 14500
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 14500
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
16.48/16.58	c starting to Solve
16.48/16.58	c #variables read: 14500 - #constraints read: 461873

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/349036-1176644076/instance-349036-1176644076.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node74/watcher-349036-1176644076 -o ROOT/results/node74/solver-349036-1176644076 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/349036-1176644076/instance-349036-1176644076.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.95 3/66 32604
/proc/meminfo: memFree=1784344/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=2552 CPUtime=0
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 112322350 2613248 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10223319 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 638 230 193 16 0 77 0

[startup+0.0513861 s]
/proc/loadavg: 0.99 0.98 0.95 3/66 32604
/proc/meminfo: memFree=1784344/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=3884 CPUtime=0.04
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 593 0 0 0 4 0 0 0 18 0 1 0 112322350 3977216 563 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134544811 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 971 563 193 16 0 410 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3884

[startup+0.101391 s]
/proc/loadavg: 0.99 0.98 0.95 3/66 32604
/proc/meminfo: memFree=1784344/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=4684 CPUtime=0.09
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 794 0 0 0 9 0 0 0 18 0 1 0 112322350 4796416 764 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134536095 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 1171 764 199 16 0 610 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4684

[startup+0.301414 s]
/proc/loadavg: 0.99 0.98 0.95 3/66 32604
/proc/meminfo: memFree=1784344/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=7212 CPUtime=0.29
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 1451 0 0 0 28 1 0 0 19 0 1 0 112322350 7385088 1421 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10223319 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 1803 1421 199 16 0 1242 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7212

[startup+0.701461 s]
/proc/loadavg: 0.99 0.98 0.95 3/66 32604
/proc/meminfo: memFree=1784344/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=12408 CPUtime=0.69
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 2740 0 0 0 68 1 0 0 22 0 1 0 112322350 12705792 2710 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10223319 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 3102 2710 199 16 0 2541 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12408

[startup+1.50155 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32605
/proc/meminfo: memFree=1770704/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=22400 CPUtime=1.49
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 5241 0 0 0 147 2 0 0 25 0 1 0 112322350 22937600 5211 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134542951 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 5600 5211 199 16 0 5039 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22400

[startup+3.10174 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32605
/proc/meminfo: memFree=1756816/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=42116 CPUtime=3.09
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 10164 0 0 0 304 5 0 0 25 0 1 0 112322350 43126784 10134 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 10529 10134 199 16 0 9968 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42116

[startup+6.30111 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32605
/proc/meminfo: memFree=1725648/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=61328 CPUtime=6.28
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 14893 0 0 0 620 8 0 0 25 0 1 0 112322350 62799872 14863 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532452 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 15332 14863 204 16 0 14771 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 61328

[startup+12.7018 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32605
/proc/meminfo: memFree=1724752/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=62864 CPUtime=12.69
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 15132 0 0 0 1260 9 0 0 25 0 1 0 112322350 64372736 15102 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532442 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 15716 15102 204 16 0 15155 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62864

[startup+25.5013 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32605
/proc/meminfo: memFree=1716816/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=70412 CPUtime=25.48
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 17135 0 0 0 2539 9 0 0 25 0 1 0 112322350 72101888 17105 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 17603 17105 206 16 0 17042 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 70412

[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32605
/proc/meminfo: memFree=1706896/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=81148 CPUtime=51.05
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 19829 0 0 0 5095 10 0 0 25 0 1 0 112322350 83095552 19799 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 20287 19799 206 16 0 19726 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 81148

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32605
/proc/meminfo: memFree=1638032/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=149120 CPUtime=102.25
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 36788 0 0 0 10204 21 0 0 25 0 1 0 112322350 152698880 36758 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 37280 36758 206 16 0 36719 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 149120

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32605
/proc/meminfo: memFree=1577616/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=210056 CPUtime=162.22
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 52031 0 0 0 16192 30 0 0 25 0 1 0 112322350 215097344 52001 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 52514 52001 206 16 0 51953 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 210056

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=1524880/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=261972 CPUtime=222.2
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 65014 0 0 0 22182 38 0 0 25 0 1 0 112322350 268259328 64984 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 65493 64984 206 16 0 64932 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 261972

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=1475216/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=312180 CPUtime=282.19
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 77505 0 0 0 28173 46 0 0 25 0 1 0 112322350 319672320 77475 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 78045 77475 206 16 0 77484 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 312180

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=1428880/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=357932 CPUtime=342.18
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 88955 0 0 0 34162 56 0 0 25 0 1 0 112322350 366522368 88925 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 89483 88925 206 16 0 88922 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 357932

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=1385232/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=402184 CPUtime=402.15
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 100013 0 0 0 40152 63 0 0 25 0 1 0 112322350 411836416 99983 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 100546 99983 206 16 0 99985 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 402184

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=1344208/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=442600 CPUtime=462.14
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 110121 0 0 0 46145 69 0 0 25 0 1 0 112322350 453222400 110091 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 110650 110091 206 16 0 110089 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 442600

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=1306512/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=480436 CPUtime=522.12
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 119585 0 0 0 52138 74 0 0 25 0 1 0 112322350 491966464 119555 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 120109 119555 206 16 0 119548 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 480436

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=1275600/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=511132 CPUtime=582.11
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 127218 0 0 0 58132 79 0 0 25 0 1 0 112322350 523399168 127188 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520147 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 127783 127188 206 16 0 127222 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 511132

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=1242384/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=544604 CPUtime=642.1
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 135448 0 0 0 64126 84 0 0 25 0 1 0 112322350 557674496 135418 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 136151 135418 206 16 0 135590 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 544604


################
# More data... #
################

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=1103760/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=682912 CPUtime=882.03
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 170055 0 0 0 88096 107 0 0 25 0 1 0 112322350 699301888 170025 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 170728 170025 206 16 0 170167 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 682912

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=1070352/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=716488 CPUtime=942.01
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 178434 0 0 0 94090 111 0 0 25 0 1 0 112322350 733683712 178404 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559503 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 179122 178404 206 16 0 178561 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 716488

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=1042000/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=744664 CPUtime=1002
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 185475 0 0 0 100083 117 0 0 25 0 1 0 112322350 762535936 185445 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559561 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 186166 185445 206 16 0 185605 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 744664

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=1014608/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=772300 CPUtime=1061.98
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 192377 0 0 0 106076 122 0 0 25 0 1 0 112322350 790835200 192347 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 193075 192347 206 16 0 192514 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 772300

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=991568/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=794868 CPUtime=1121.96
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 198047 0 0 0 112071 125 0 0 25 0 1 0 112322350 813944832 198017 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 198717 198017 206 16 0 198156 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 794868

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=968144/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=818536 CPUtime=1181.95
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 203952 0 0 0 118066 129 0 0 25 0 1 0 112322350 838180864 203922 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 204634 203922 206 16 0 204073 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 818536

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=944272/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=842152 CPUtime=1241.94
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 209845 0 0 0 124062 132 0 0 25 0 1 0 112322350 862363648 209815 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 210538 209815 206 16 0 209977 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 842152

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=915024/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=871184 CPUtime=1301.92
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 217106 0 0 0 130055 137 0 0 25 0 1 0 112322350 892092416 217076 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 217796 217076 206 16 0 217235 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 871184

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=885008/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=901288 CPUtime=1361.9
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 224653 0 0 0 136048 142 0 0 25 0 1 0 112322350 922918912 224623 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 225322 224623 206 16 0 224761 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 901288

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=854032/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=932060 CPUtime=1421.89
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 232331 0 0 0 142042 147 0 0 25 0 1 0 112322350 954429440 232301 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 233015 232301 206 16 0 232454 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 932060

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=824016/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=962244 CPUtime=1481.87
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 239870 0 0 0 148034 153 0 0 25 0 1 0 112322350 985337856 239840 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 240561 239840 206 16 0 240000 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 962244

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 32607
/proc/meminfo: memFree=791760/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=994272 CPUtime=1541.85
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 247860 0 0 0 154027 158 0 0 25 0 1 0 112322350 1018134528 247830 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 248568 247830 206 16 0 248007 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 994272

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/73 32697
/proc/meminfo: memFree=765528/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=1019460 CPUtime=1601.8
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 254151 0 0 0 160018 162 0 0 25 0 1 0 112322350 1043927040 254121 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 254865 254121 206 16 0 254304 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1019460

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 337
/proc/meminfo: memFree=741704/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=1044036 CPUtime=1661.72
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 260299 0 0 0 166005 167 0 0 25 0 1 0 112322350 1069092864 260269 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 261009 260269 206 16 0 260448 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1044036

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 337
/proc/meminfo: memFree=718344/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=1067808 CPUtime=1721.7
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 266197 0 0 0 172000 170 0 0 25 0 1 0 112322350 1093435392 266167 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 266952 266167 206 16 0 266391 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1067808

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 337
/proc/meminfo: memFree=695752/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=1090200 CPUtime=1781.69
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 271753 0 0 0 177995 174 0 0 25 0 1 0 112322350 1116364800 271723 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134518207 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 272550 271723 206 16 0 271989 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1090200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 337
/proc/meminfo: memFree=688520/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=1097364 CPUtime=1800.09
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4194304 273543 0 0 0 179834 175 0 0 25 0 1 0 112322350 1123700736 273513 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520113 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 274341 273513 206 16 0 273780 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1097364

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.81 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 337
/proc/meminfo: memFree=688520/2055920 swapFree=4183824/4192956
[pid=32604] ppid=32602 vsize=0 CPUtime=1800.19
/proc/32604/stat : 32604 (Pueblo) R 32602 32604 31663 0 -1 4195332 273543 0 0 0 179834 185 0 0 25 0 1 0 112322350 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/32604/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.88
CPU time (s): 1800.27
CPU user time (s): 1798.34
CPU system time (s): 1.93371
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 1097364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.34
system time used= 1.93371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273543
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 2163

runsolver used 1.79873 second user time and 3.98939 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Sun Apr 15 13:34:36 UTC 2007

IDJOB= 349036
IDBENCH= 2058
IDSOLVER= 165
FILE ID= node74/349036-1176644076

PBS_JOBID= 4559811

Free space on /tmp= 103231 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.29.opb
COMMAND LINE= Pueblo /tmp/evaluation/349036-1176644076/instance-349036-1176644076.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node74/convwatcher-349036-1176644076 -o ROOT/results/node74/conversion-349036-1176644076 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/349036-1176644076/instance-349036-1176644076.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node74/watcher-349036-1176644076 -o ROOT/results/node74/solver-349036-1176644076 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/349036-1176644076/instance-349036-1176644076.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  b0a7c1cc13cb603591c6d50e3dba1a47

RANDOM SEED= 409994624

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1784944 kB
Buffers:         14628 kB
Cached:         152220 kB
SwapCached:       2540 kB
Active:          90784 kB
Inactive:        89676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1784944 kB
SwapTotal:     4192956 kB
SwapFree:      4183824 kB
Dirty:           13952 kB
Writeback:           0 kB
Mapped:          20176 kB
Slab:            76280 kB
Committed_AS:  1471496 kB
PageTables:       1492 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103231 MiB

End job on node74 on Sun Apr 15 14:04:39 UTC 2007