Trace number 3460702

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
wbo 1.6? (TO) 1800.06 1800.05

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM82a3d84200b069df277c7f14e0e883d0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark1800.26
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved NO
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
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 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3460702-1307108416.opb.
0.00/0.00	c Instance file HOME/instance-3460702-1307108416.opb
0.00/0.00	c File size is 619623 bytes.
0.00/0.04	c Highest Coefficient sum: 697
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Parsing time:          0.04         s                                      |
0.00/0.04	c |  Number Variables:      6076                                                |
0.00/0.04	c |  Number Clauses:        21400                                               |
0.00/0.04	c |  Number Cardinality:    1                                                   |
0.00/0.04	c |  Number PB Constraints: 0                                                   |
0.04/0.05	c ============================[ Search Statistics ]==============================
0.04/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.04/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.04/0.05	c ===============================================================================
0.04/0.05	c |         0 |    6071    21401    54363 |     7133        0   -nan |  0.000 % |
0.04/0.10	c core #1
0.04/0.10	c 
0.04/0.10	c 
0.04/0.10	c Core size: 341	Core Weight: 1	Total Weight: 6
0.04/0.10	c Current CPU time: 0.053991 s
0.04/0.10	c
0.04/0.10	c core #2
0.04/0.10	c 
0.04/0.10	c 
0.04/0.10	c Core size: 166	Core Weight: 1	Total Weight: 7
0.04/0.10	c Current CPU time: 0.06199 s
0.04/0.10	c
0.04/0.10	c core #3
0.04/0.10	c 
0.04/0.10	c 
0.04/0.10	c Core size: 172	Core Weight: 1	Total Weight: 8
0.04/0.10	c Current CPU time: 0.069989 s
0.04/0.10	c
0.04/0.10	c core #4
0.04/0.10	c 
0.04/0.10	c 
0.04/0.10	c Core size: 173	Core Weight: 1	Total Weight: 9
0.04/0.10	c Current CPU time: 0.078987 s
0.04/0.10	c
0.04/0.10	c core #5
0.04/0.10	c 
0.04/0.10	c 
0.04/0.10	c Core size: 179	Core Weight: 1	Total Weight: 10
0.04/0.10	c Current CPU time: 0.086986 s
0.04/0.10	c
0.04/0.10	c ============================[ Search Statistics ]==============================
0.04/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.04/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.04/0.10	c ===============================================================================
0.04/0.10	c |         0 |    4676    22055    53471 |     7351        0   -nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.11	c core #6
0.09/0.11	c 
0.09/0.11	c 
0.09/0.11	c Core size: 766	Core Weight: 1	Total Weight: 11
0.09/0.11	c Current CPU time: 0.100984 s
0.09/0.11	c
0.09/0.11	c ============================[ Search Statistics ]==============================
0.09/0.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    5720    22056    54757 |     7352        0   -nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.13	c core #7
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 332	Core Weight: 1	Total Weight: 12
0.09/0.13	c Current CPU time: 0.113982 s
0.09/0.13	c
0.09/0.13	c ============================[ Search Statistics ]==============================
0.09/0.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |    6075    22057    55363 |     7352        0   -nan |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.14	c core #8
0.09/0.14	c 
0.09/0.14	c 
0.09/0.14	c Core size: 676	Core Weight: 1	Total Weight: 13
0.09/0.14	c Current CPU time: 0.12998 s
0.09/0.14	c
0.09/0.14	c ============================[ Search Statistics ]==============================
0.09/0.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.14	c ===============================================================================
0.09/0.14	c |         0 |    6974    22058    56825 |     7352        0   -nan |  0.000 % |
0.09/0.15	c |       101 |    6973    22058    56825 |     8087      101     41 |  0.086 % |
0.09/0.16	c |       251 |    6888    22058    56825 |     8896      251     50 |  1.304 % |
0.19/0.20	c |       479 |    6887    22058    56825 |     9786      479    139 |  1.318 % |
0.19/0.27	c |       819 |    6857    22058    56825 |    10765      819    153 |  1.748 % |
0.39/0.41	c |      1328 |    6848    22058    56825 |    11841     1328    277 |  1.877 % |
0.49/0.50	c ===============================================================================
0.49/0.52	c core #9
0.49/0.52	c 
0.49/0.52	c 
0.49/0.52	c Core size: 350	Core Weight: 1	Total Weight: 14
0.49/0.52	c Current CPU time: 0.499924 s
0.49/0.52	c
0.49/0.52	c ============================[ Search Statistics ]==============================
0.49/0.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.52	c ===============================================================================
0.49/0.52	c |         0 |    7216    22059    57309 |     7353        0   -nan |  0.000 % |
0.49/0.53	c |       100 |    7212    22059    57309 |     8088      100     31 |  0.125 % |
0.49/0.54	c |       251 |    7212    22059    57309 |     8897      251     36 |  0.125 % |
0.49/0.55	c |       476 |    7209    22059    57309 |     9786      476     40 |  0.166 % |
0.49/0.58	c |       813 |    7209    22059    57309 |    10765      813    106 |  0.166 % |
0.59/0.64	c |      1321 |    7209    22059    57309 |    11842     1321    129 |  0.166 % |
0.69/0.73	c ===============================================================================
0.69/0.74	c core #10
0.69/0.74	c 
0.69/0.74	c 
0.69/0.74	c Core size: 207	Core Weight: 1	Total Weight: 15
0.69/0.74	c Current CPU time: 0.716891 s
0.69/0.74	c
0.69/0.74	c ============================[ Search Statistics ]==============================
0.69/0.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.74	c ===============================================================================
0.69/0.74	c |         0 |    7328    22061    57535 |     7353        0   -nan |  0.000 % |
0.69/0.75	c |       100 |    7328    22061    57535 |     8089      100     69 |  0.068 % |
0.69/0.78	c |       251 |    7328    22061    57535 |     8897      251    220 |  0.068 % |
0.79/0.81	c |       476 |    7328    22061    57535 |     9787      476    174 |  0.068 % |
0.79/0.86	c |       813 |    7324    22061    57535 |    10766      813    137 |  0.123 % |
0.89/0.93	c |      1319 |    7317    22061    57535 |    11843     1319    115 |  0.218 % |
1.00/1.03	c ===============================================================================
1.00/1.05	c core #11
1.00/1.05	c 
1.00/1.05	c 
1.00/1.05	c Core size: 353	Core Weight: 1	Total Weight: 16
1.00/1.05	c Current CPU time: 1.01484 s
1.00/1.05	c
1.00/1.05	c ============================[ Search Statistics ]==============================
1.00/1.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.00/1.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.00/1.05	c ===============================================================================
1.00/1.05	c |         0 |    7633    22062    58145 |     7354        0   -nan |  0.000 % |
1.00/1.06	c |       100 |    7633    22062    58145 |     8089      100    109 |  0.065 % |
1.00/1.07	c |       250 |    7633    22062    58145 |     8898      250     93 |  0.065 % |
1.00/1.10	c |       475 |    7633    22062    58145 |     9788      475    145 |  0.065 % |
1.11/1.17	c |       812 |    7633    22062    58145 |    10766      812    244 |  0.065 % |
1.19/1.25	c |      1319 |    7633    22062    58145 |    11843     1319    292 |  0.065 % |
1.39/1.45	c |      2081 |    7633    22062    58145 |    13028     2081    358 |  0.065 % |
1.79/1.82	c |      3223 |    7633    22062    58145 |    14330     3223    410 |  0.065 % |
2.49/2.52	c |      4931 |    7633    22062    58145 |    15763     4931    472 |  0.066 % |
4.59/4.68	c |      7495 |    7633    22062    58145 |    17340     7495    546 |  0.065 % |
8.09/8.15	c |     11339 |    7633    22062    58145 |    19074    11339    539 |  0.065 % |
13.39/13.40	c |     17106 |    7633    22062    58145 |    20981    17106    509 |  0.065 % |
16.50/16.54	c |     25757 |    7633    22062    58145 |    23080    13961    377 |  0.065 % |
23.00/23.06	c |     38734 |    7633    22062    58145 |    25388    14287    510 |  0.065 % |
35.89/35.92	c |     58196 |    7633    22062    58145 |    27926    20947    596 |  0.065 % |
61.19/61.25	c |     87389 |    7633    22062    58145 |    30719    19086    739 |  0.066 % |
102.20/102.30	c |    131178 |    7633    22062    58145 |    33791    26753    793 |  0.065 % |
158.31/158.40	c |    196862 |    7633    22062    58145 |    37170    32537    542 |  0.065 % |
200.21/200.29	c ===============================================================================
201.50/201.52	c core #12
201.50/201.52	c 
201.50/201.52	c 
201.50/201.52	c Core size: 455	Core Weight: 1	Total Weight: 17
201.50/201.52	c Current CPU time: 200.764 s
201.50/201.52	c
201.50/201.52	c ============================[ Search Statistics ]==============================
201.50/201.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.50/201.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.50/201.52	c ===============================================================================
201.50/201.52	c |         0 |    7875    22084    58676 |     7361        0   -nan |  0.000 % |
201.50/201.54	c |       100 |    7875    22084    58676 |     8097      100     89 |  0.063 % |
201.50/201.54	c |       252 |    7875    22084    58676 |     8907      252    102 |  0.063 % |
201.50/201.56	c |       477 |    7875    22084    58676 |     9797      477     99 |  0.063 % |
201.60/201.62	c |       815 |    7875    22084    58676 |    10777      815     93 |  0.063 % |
201.60/201.67	c |      1322 |    7875    22084    58676 |    11855     1322     92 |  0.064 % |
201.70/201.75	c |      2084 |    7875    22084    58676 |    13041     2084    123 |  0.064 % |
201.80/201.84	c |      3223 |    7875    22084    58676 |    14345     3223    103 |  0.063 % |
202.00/202.02	c |      4932 |    7875    22084    58676 |    15779     4932    100 |  0.063 % |
202.30/202.34	c |      7497 |    7875    22084    58676 |    17357     7497    168 |  0.063 % |
202.79/202.89	c |     11343 |    7875    22084    58676 |    19093    11343    230 |  0.063 % |
204.09/204.15	c |     17109 |    7875    22084    58676 |    21002    17109    279 |  0.063 % |
206.49/206.54	c |     25759 |    7875    22084    58676 |    23103    14155    365 |  0.063 % |
210.01/210.06	c |     38737 |    7875    22084    58676 |    25413    12384    435 |  0.064 % |
213.20/213.25	c |     58199 |    7875    22084    58676 |    27954    13990    261 |  0.063 % |
220.30/220.37	c |     87391 |    7875    22084    58676 |    30750    27079    358 |  0.064 % |
251.91/251.92	c |    131182 |    7874    22084    58676 |    33825    14551    656 |  0.076 % |
292.19/292.23	c |    196872 |    7874    22084    58676 |    37207    19085    524 |  0.076 % |
357.30/357.36	c |    295401 |    7795    22084    58676 |    40928    23847    545 |  1.079 % |
492.15/492.29	c |    443191 |    7795    22084    58676 |    45021    36764    920 |  1.079 % |
814.46/814.51	c |    664876 |    7795    22084    58676 |    49523    24688   1070 |  1.079 % |
1092.77/1092.86	c |    997403 |    7795    22084    58676 |    54475    26933    894 |  1.079 % |
1604.29/1604.40	c |   1496191 |    7794    22084    58676 |    59923    54019   1369 |  1.091 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460702-1307108416/watcher-3460702-1307108416 -o /tmp/evaluation-result-3460702-1307108416/solver-3460702-1307108416 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460702-1307108416.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.97 2.00 1.95 2/437 3865
/proc/meminfo: memFree=24535400/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=3424 CPUtime=0 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 484 0 0 0 0 0 0 0 24 0 1 0 803257206 3506176 437 33554432000 4194304 5714214 140734576454432 18446744073709551615 5013551 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3865/statm: 856 437 188 372 0 329 0

[startup+0.0495671 s]
/proc/loadavg: 1.97 2.00 1.95 2/437 3865
/proc/meminfo: memFree=24535400/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=8724 CPUtime=0.04 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 2049 0 0 0 4 0 0 0 24 0 1 0 803257206 8933376 1850 33554432000 4194304 5714214 140734576454432 18446744073709551615 4967612 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3865/statm: 2181 1851 172 372 0 1806 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8724

[startup+0.100549 s]
/proc/loadavg: 1.97 2.00 1.95 2/437 3865
/proc/meminfo: memFree=24535400/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=11952 CPUtime=0.09 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 3168 0 0 0 9 0 0 0 24 0 1 0 803257206 12238848 2675 33554432000 4194304 5714214 140734576454432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3865/statm: 2988 2675 179 372 0 2613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11952

[startup+0.300506 s]
/proc/loadavg: 1.97 2.00 1.95 2/437 3865
/proc/meminfo: memFree=24535400/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=11576 CPUtime=0.29 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 3291 0 0 0 28 1 0 0 25 0 1 0 803257206 11853824 2652 33554432000 4194304 5714214 140734576454432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3865/statm: 2894 2652 180 372 0 2519 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11576

[startup+0.700451 s]
/proc/loadavg: 1.97 2.00 1.95 2/437 3865
/proc/meminfo: memFree=24535400/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=14728 CPUtime=0.69 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 4052 0 0 0 67 2 0 0 25 0 1 0 803257206 15081472 3413 33554432000 4194304 5714214 140734576454432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3865/statm: 3682 3413 180 372 0 3307 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14728

[startup+1.50029 s]
/proc/loadavg: 1.97 2.00 1.95 3/438 3866
/proc/meminfo: memFree=24521876/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=14728 CPUtime=1.49 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 4056 0 0 0 146 3 0 0 25 0 1 0 803257206 15081472 3417 33554432000 4194304 5714214 140734576454432 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3865/statm: 3682 3417 180 372 0 3307 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14728

[startup+3.10098 s]
/proc/loadavg: 1.97 2.00 1.95 3/438 3866
/proc/meminfo: memFree=24518028/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=22264 CPUtime=3.1 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 5938 0 0 0 306 4 0 0 25 0 1 0 803257206 22798336 5299 33554432000 4194304 5714214 140734576454432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3865/statm: 5566 5299 180 372 0 5191 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 22264

[startup+6.30033 s]
/proc/loadavg: 1.97 2.00 1.95 3/438 3866
/proc/meminfo: memFree=24503276/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=35660 CPUtime=6.29 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 9276 0 0 0 624 5 0 0 25 0 1 0 803257206 36515840 8637 33554432000 4194304 5714214 140734576454432 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3865/statm: 8915 8637 180 372 0 8540 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35660

[startup+12.701 s]
/proc/loadavg: 1.98 2.00 1.95 3/438 3867
/proc/meminfo: memFree=24489704/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=49472 CPUtime=12.69 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 12708 0 0 0 1262 7 0 0 25 0 1 0 803257206 50659328 12069 33554432000 4194304 5714214 140734576454432 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3865/statm: 12368 12069 180 372 0 11993 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49472

[startup+25.5005 s]
/proc/loadavg: 1.98 2.00 1.95 3/438 3867
/proc/meminfo: memFree=24461548/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=72860 CPUtime=25.49 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 18513 0 0 0 2537 12 0 0 25 0 1 0 803257206 74608640 17874 33554432000 4194304 5714214 140734576454432 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3865/statm: 18215 17874 180 372 0 17840 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72860

[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 1.96 3/438 3895
/proc/meminfo: memFree=24482980/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=107832 CPUtime=51.09 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 27208 0 0 0 5087 22 0 0 25 0 1 0 803257206 110419968 26569 33554432000 4194304 5714214 140734576454432 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3865/statm: 26958 26569 180 372 0 26583 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 107832

[startup+102.316 s]
/proc/loadavg: 2.10 2.03 1.96 3/438 3896
/proc/meminfo: memFree=24162988/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=157580 CPUtime=102.31 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 39650 0 0 0 10199 32 0 0 25 0 1 0 803257206 161361920 39011 33554432000 4194304 5714214 140734576454432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3865/statm: 39395 39011 180 372 0 39020 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 157580

[startup+162.3 s]
/proc/loadavg: 2.04 2.02 1.96 3/438 3898
/proc/meminfo: memFree=24218140/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=169124 CPUtime=162.29 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 42538 0 0 0 16180 49 0 0 25 0 1 0 803257206 173182976 41899 33554432000 4194304 5714214 140734576454432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3865/statm: 42281 41899 180 372 0 41906 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 169124

[startup+222.3 s]
/proc/loadavg: 2.16 2.05 1.97 3/438 3899
/proc/meminfo: memFree=24207932/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=178676 CPUtime=222.3 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 45387 0 0 0 22155 75 0 0 25 0 1 0 803257206 182964224 44353 33554432000 4194304 5714214 140734576454432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3865/statm: 44669 44353 180 372 0 44294 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 178676

[startup+282.301 s]
/proc/loadavg: 2.06 2.04 1.97 3/438 3901
/proc/meminfo: memFree=24162764/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=178676 CPUtime=282.3 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 45426 0 0 0 28140 90 0 0 25 0 1 0 803257206 182964224 44392 33554432000 4194304 5714214 140734576454432 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3865/statm: 44669 44392 180 372 0 44294 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 178676

[startup+342.301 s]
/proc/loadavg: 2.02 2.03 1.97 3/438 3903
/proc/meminfo: memFree=24046924/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=178676 CPUtime=342.3 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 45448 0 0 0 34125 105 0 0 25 0 1 0 803257206 182964224 44414 33554432000 4194304 5714214 140734576454432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3865/statm: 44669 44414 180 372 0 44294 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 178676

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 1.97 3/438 3904
/proc/meminfo: memFree=24001880/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=207172 CPUtime=402.3 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 52501 0 0 0 40110 120 0 0 25 0 1 0 803257206 212144128 51467 33554432000 4194304 5714214 140734576454432 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3865/statm: 51793 51467 180 372 0 51418 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 207172

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 1.97 3/438 3906
/proc/meminfo: memFree=23866932/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=343672 CPUtime=462.24 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 86297 0 0 0 46091 133 0 0 25 0 1 0 803257206 351920128 85263 33554432000 4194304 5714214 140734576454432 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 85918 85263 180 372 0 85543 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 343672

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/438 3907
/proc/meminfo: memFree=23866404/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=348084 CPUtime=522.25 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 87383 0 0 0 52080 145 0 0 25 0 1 0 803257206 356438016 86349 33554432000 4194304 5714214 140734576454432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 87021 86349 180 372 0 86646 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 348084

[startup+582.301 s]
/proc/loadavg: 2.10 2.03 1.99 3/438 3909
/proc/meminfo: memFree=23745348/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=395460 CPUtime=582.25 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 99238 0 0 0 58074 151 0 0 25 0 1 0 803257206 404951040 98204 33554432000 4194304 5714214 140734576454432 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 98865 98204 180 372 0 98490 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 395460

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/438 3915
/proc/meminfo: memFree=23492304/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=471416 CPUtime=822.26 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 119374 0 0 0 82047 179 0 0 25 0 1 0 803257206 482729984 117128 33554432000 4194304 5714214 140734576454432 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 117854 117128 180 372 0 117479 0
Current children cumulated CPU time (s) 822.26
Current children cumulated vsize (KiB) 471416

[startup+882.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/438 3917
/proc/meminfo: memFree=23492148/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=471416 CPUtime=882.26 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 119385 0 0 0 88036 190 0 0 25 0 1 0 803257206 482729984 117139 33554432000 4194304 5714214 140734576454432 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 117854 117139 180 372 0 117479 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 471416

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 3919
/proc/meminfo: memFree=23492376/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=471416 CPUtime=942.26 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 119387 0 0 0 94027 199 0 0 25 0 1 0 803257206 482729984 117141 33554432000 4194304 5714214 140734576454432 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 117854 117141 180 372 0 117479 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 471416

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 3920
/proc/meminfo: memFree=23476492/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=471416 CPUtime=1002.27 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 119391 0 0 0 100018 209 0 0 25 0 1 0 803257206 482729984 117145 33554432000 4194304 5714214 140734576454432 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 117854 117145 180 372 0 117479 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 471416

[startup+1062.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/438 3922
/proc/meminfo: memFree=23437164/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=471416 CPUtime=1062.27 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 119420 0 0 0 106007 220 0 0 25 0 1 0 803257206 482729984 117174 33554432000 4194304 5714214 140734576454432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 117854 117174 180 372 0 117479 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 471416

[startup+1122.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/438 3923
/proc/meminfo: memFree=23394364/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=471416 CPUtime=1122.27 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 119426 0 0 0 111999 228 0 0 25 0 1 0 803257206 482729984 117180 33554432000 4194304 5714214 140734576454432 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 117854 117180 180 372 0 117479 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 471416

[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 3925
/proc/meminfo: memFree=23339544/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=505408 CPUtime=1182.27 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 127913 0 0 0 117991 236 0 0 25 0 1 0 803257206 517537792 125667 33554432000 4194304 5714214 140734576454432 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 126352 125667 180 372 0 125977 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 505408

[startup+1242.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/438 3927
/proc/meminfo: memFree=23338904/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=505408 CPUtime=1242.28 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 127917 0 0 0 123984 244 0 0 25 0 1 0 803257206 517537792 125671 33554432000 4194304 5714214 140734576454432 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 126352 125671 180 372 0 125977 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 505408

[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/438 3937
/proc/meminfo: memFree=23339428/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=505408 CPUtime=1302.29 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 128309 0 0 0 129976 253 0 0 25 0 1 0 803257206 517537792 125706 33554432000 4194304 5714214 140734576454432 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 126352 125706 180 372 0 125977 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 505408

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 3939
/proc/meminfo: memFree=23338664/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=505408 CPUtime=1362.28 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 128316 0 0 0 135963 265 0 0 25 0 1 0 803257206 517537792 125713 33554432000 4194304 5714214 140734576454432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 126352 125713 180 372 0 125977 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 505408

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 3940
/proc/meminfo: memFree=23240076/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=590880 CPUtime=1422.3 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 149660 0 0 0 141954 276 0 0 25 0 1 0 803257206 605061120 147057 33554432000 4194304 5714214 140734576454432 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 147720 147057 180 372 0 147345 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 590880

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 3942
/proc/meminfo: memFree=23139624/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=691172 CPUtime=1482.29 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 174672 0 0 0 147946 283 0 0 25 0 1 0 803257206 707760128 172069 33554432000 4194304 5714214 140734576454432 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 172793 172069 180 372 0 172418 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 691172

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 3944
/proc/meminfo: memFree=23139844/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=690400 CPUtime=1542.29 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 174675 0 0 0 153938 291 0 0 25 0 1 0 803257206 706969600 171882 33554432000 4194304 5714214 140734576454432 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 172600 171882 180 372 0 172225 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 690400

[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/438 3945
/proc/meminfo: memFree=23139960/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=690800 CPUtime=1602.29 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 174761 0 0 0 159931 298 0 0 25 0 1 0 803257206 707379200 171968 33554432000 4194304 5714214 140734576454432 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 172700 171968 180 372 0 172325 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 690800

[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/438 3947
/proc/meminfo: memFree=23128776/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=702276 CPUtime=1662.29 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 177579 0 0 0 165924 305 0 0 25 0 1 0 803257206 719130624 174786 33554432000 4194304 5714214 140734576454432 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 175569 174786 180 372 0 175194 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 702276

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 3948
/proc/meminfo: memFree=23128752/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=702276 CPUtime=1722.29 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 177586 0 0 0 171915 314 0 0 25 0 1 0 803257206 719130624 174793 33554432000 4194304 5714214 140734576454432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 175569 174793 180 372 0 175194 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 702276

[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/438 3950
/proc/meminfo: memFree=23095392/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=734208 CPUtime=1782.3 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 185558 0 0 0 177907 323 0 0 25 0 1 0 803257206 751828992 182765 33554432000 4194304 5714214 140734576454432 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 183552 182765 180 372 0 183177 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 734208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.05 2.05 2.00 3/438 3950
/proc/meminfo: memFree=23095388/32951124 swapFree=50923800/67111528
[pid=3865] ppid=3863 vsize=734208 CPUtime=1800.01 cores=0,2,4,6
/proc/3865/stat : 3865 (wbo1.6) R 3863 3865 2319 0 -1 4202496 185560 0 0 0 179677 324 0 0 25 0 1 0 803257206 751828992 182767 33554432000 4194304 5714214 140734576454432 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3865/statm: 183552 182767 180 372 0 183177 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 734208

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.06
CPU user time (s): 1796.78
CPU system time (s): 3.2785
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 734208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.78
system time used= 3.2785
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185560
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= 5
involuntary context switches= 2835

runsolver used 8.41172 second user time and 17.1024 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-03 15:40:16
IDJOB=3460702
IDBENCH=25012
IDSOLVER=1953
FILE ID=node143/3460702-1307108416
RUNJOBID= node143-1307105806-3395
PBS_JOBID= 13497975
Free space on /tmp= 73884 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460702-1307108416/watcher-3460702-1307108416 -o /tmp/evaluation-result-3460702-1307108416/solver-3460702-1307108416 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460702-1307108416.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0
RANDOM SEED=549133057

node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24535556 kB
Buffers:        271020 kB
Cached:         451072 kB
SwapCached:       9140 kB
Active:        7680444 kB
Inactive:       454836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24535556 kB
SwapTotal:    67111528 kB
SwapFree:     50923800 kB
Dirty:            5072 kB
Writeback:           0 kB
AnonPages:     7410292 kB
Mapped:          22392 kB
Slab:           131728 kB
PageTables:      80232 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115878560 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73884 MiB
End job on node143 at 2011-06-03 16:10:18