Trace number 2690654

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 NameAnswerCPU timeWall clock time
wbo 1.4b? (MO) 1547.79 1547.74

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
MD5SUM4b3e4ac9b9f8acc38ac61fe906d48ca6
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.235963
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6800
Total number of constraints165
Number of soft constraints165
Number of constraints which are clauses85
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint80
Maximum length of a constraint85
Top cost 7728
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 7727
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 86
Number of bits of the biggest sum of numbers7
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.4 beta - 20100610
0.00/0.00	c Parsing wbo file format. File HOME/instance-2690654-1277921785.wbo.
0.00/0.00	c Instance file HOME/instance-2690654-1277921785.wbo
0.00/0.00	c File size is 122494 bytes.
0.00/0.01	c Highest Coefficient sum: 86
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      6800                                                |
0.00/0.01	c |  Number Clauses:        85                                                  |
0.00/0.01	c |  Number Cardinality:    80                                                  |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |    6800      165    13600 |     5000        0    nan |  0.000 % |
0.00/0.02	c |       101 |    6800      165    13600 |     5500      101    359 |  0.000 % |
0.00/0.03	c |       252 |    6800      165    13600 |     6050      252    347 |  0.000 % |
0.04/0.06	c |       479 |    6800      165    13600 |     6655      479    490 |  0.000 % |
0.09/0.13	c |       819 |    6800      165    13600 |     7320      819    721 |  0.000 % |
0.19/0.21	c |      1325 |    6800      165    13600 |     8052     1325    626 |  0.000 % |
0.29/0.33	c |      2085 |    6800      165    13600 |     8857     2085    558 |  0.000 % |
0.49/0.57	c |      3224 |    6800      165    13600 |     9743     3224    524 |  0.000 % |
0.89/0.97	c |      4935 |    6800      165    13600 |    10717     4935    538 |  0.000 % |
1.59/1.68	c |      7498 |    6800      165    13600 |    11789     7498    541 |  0.000 % |
3.09/3.19	c |     11342 |    6800      165    13600 |    12968    11342    554 |  0.000 % |
6.09/6.15	c |     17109 |    6800      165    13600 |    14265    17109    566 |  0.000 % |
12.19/12.27	c |     25762 |    6800      165    13600 |    15692    17208    582 |  0.000 % |
23.19/23.27	c |     38743 |    6800      165    13600 |    17261    21585   1094 |  0.000 % |
50.79/50.84	c |     58205 |    6800      165    13600 |    18987    17760   1395 |  0.000 % |
77.19/77.26	c |     87397 |    6800      165    13600 |    20886    20490    963 |  0.000 % |
115.89/115.97	c |    131188 |    6800      165    13600 |    22974    18564   1762 |  0.000 % |
180.60/180.69	c There are 0 assigned variables. 0 in cost function.
180.70/180.76	c ============================[ Search Statistics ]==============================
180.70/180.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.70/180.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.70/180.76	c ===============================================================================
180.70/180.76	c |         0 |    6800      165    13600 |     5000        0    nan |  0.000 % |
180.80/180.81	c |       100 |    6800      165    13600 |     5500      100    332 |  0.000 % |
180.80/180.82	c |       252 |    6800      165    13600 |     6050      252    334 |  0.000 % |
180.80/180.87	c |       477 |    6800      165    13600 |     6655      477    356 |  0.000 % |
181.10/181.11	c |       815 |    6800      165    13600 |     7320      815    744 |  0.000 % |
181.40/181.45	c |      1321 |    6800      165    13600 |     8052     1321    719 |  0.000 % |
181.80/181.80	c |      2080 |    6800      165    13600 |     8857     2080    607 |  0.000 % |
182.40/182.44	c |      3220 |    6800      165    13600 |     9743     3220    568 |  0.000 % |
183.39/183.43	c |      4928 |    6800      165    13600 |    10717     4928    541 |  0.000 % |
185.19/185.21	c |      7495 |    6800      165    13600 |    11789     7495    533 |  0.000 % |
188.01/188.03	c |     11339 |    6800      165    13600 |    12968    11339    536 |  0.000 % |
194.09/194.19	c |     17106 |    6800      165    13600 |    14265    17106    591 |  0.000 % |
202.60/202.60	c |     25756 |    6800      165    13600 |    15692    17203    604 |  0.000 % |
226.10/226.17	c |     38730 |    6800      165    13600 |    17261    21576   1172 |  0.000 % |
266.50/266.51	c |     58193 |    6800      165    13600 |    18987    17760   1199 |  0.000 % |
301.60/301.66	c |     87386 |    6800      165    13600 |    20886    21525    732 |  0.000 % |
417.81/417.84	c |    131176 |    6800      165    13600 |    22974    25473   1411 |  0.000 % |
547.01/547.01	c |    196860 |    6800      165    13600 |    25272    13314   1293 |  0.000 % |
757.51/757.51	c |    295389 |    6800      165    13600 |    27799    20973   1656 |  0.000 % |
1180.03/1180.02	c |    443188 |    6800      165    13600 |    30579    28767   1680 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690654-1277921785/watcher-2690654-1277921785 -o /tmp/evaluation-result-2690654-1277921785/solver-2690654-1277921785 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690654-1277921785.wbo 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12742
/proc/meminfo: memFree=31359440/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=3828 CPUtime=0
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 523 0 0 0 0 0 0 0 23 0 1 0 133476093 3919872 442 4089446400 134512640 135752675 4288532320 18446744073709551615 134564867 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 957 442 144 303 0 622 0

[startup+0.0568401 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12742
/proc/meminfo: memFree=31359440/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=4928 CPUtime=0.04
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 1059 0 0 0 4 0 0 0 23 0 1 0 133476093 5046272 751 4089446400 134512640 135752675 4288532320 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 1232 751 144 303 0 927 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4928

[startup+0.100822 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12742
/proc/meminfo: memFree=31359440/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=5860 CPUtime=0.09
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 1305 0 0 0 8 1 0 0 23 0 1 0 133476093 6000640 997 4089446400 134512640 135752675 4288532320 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 1465 997 144 303 0 1160 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5860

[startup+0.300786 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12742
/proc/meminfo: memFree=31359440/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=8768 CPUtime=0.29
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 2031 0 0 0 27 2 0 0 23 0 1 0 133476093 8978432 1723 4089446400 134512640 135752675 4288532320 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 2192 1723 144 303 0 1887 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8768

[startup+0.700713 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12742
/proc/meminfo: memFree=31359440/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=13124 CPUtime=0.69
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 3132 0 0 0 66 3 0 0 25 0 1 0 133476093 13438976 2824 4089446400 134512640 135752675 4288532320 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 3281 2825 144 303 0 2976 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13124

[startup+1.50059 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12743
/proc/meminfo: memFree=31345172/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=20252 CPUtime=1.49
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 4917 0 0 0 145 4 0 0 25 0 1 0 133476093 20738048 4609 4089446400 134512640 135752675 4288532320 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 5063 4609 144 303 0 4758 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20252

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12743
/proc/meminfo: memFree=31332896/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=30680 CPUtime=3.09
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 7519 0 0 0 303 6 0 0 25 0 1 0 133476093 31416320 7211 4089446400 134512640 135752675 4288532320 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 7670 7211 144 303 0 7365 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30680

[startup+6.30069 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12743
/proc/meminfo: memFree=31313040/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=47072 CPUtime=6.29
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 11609 0 0 0 621 8 0 0 18 0 1 0 133476093 48201728 11301 4089446400 134512640 135752675 4288532320 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 11768 11301 144 303 0 11463 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47072

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12743
/proc/meminfo: memFree=31283352/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=73560 CPUtime=12.69
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 18236 0 0 0 1258 11 0 0 25 0 1 0 133476093 75325440 17928 4089446400 134512640 135752675 4288532320 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 18390 17928 144 303 0 18085 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73560

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12743
/proc/meminfo: memFree=31174420/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=165064 CPUtime=25.49
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 41118 0 0 0 2531 18 0 0 25 0 1 0 133476093 169025536 40810 4089446400 134512640 135752675 4288532320 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 41266 40810 144 303 0 40961 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 165064

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12744
/proc/meminfo: memFree=31055720/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=256368 CPUtime=51.09
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 63912 0 0 0 5083 26 0 0 25 0 1 0 133476093 262520832 63604 4089446400 134512640 135752675 4288532320 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 64092 63604 144 303 0 63787 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 256368

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12745
/proc/meminfo: memFree=30772072/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=477088 CPUtime=102.3
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 119061 0 0 0 10185 45 0 0 25 0 1 0 133476093 488538112 118753 4089446400 134512640 135752675 4288532320 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 119272 118753 144 303 0 118967 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 477088

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12747
/proc/meminfo: memFree=30453580/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=725736 CPUtime=162.3
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 181207 0 0 0 16166 64 0 0 25 0 1 0 133476093 743153664 180899 4089446400 134512640 135752675 4288532320 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 181434 180899 144 303 0 181129 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 725736

[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 12749
/proc/meminfo: memFree=30318348/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=786272 CPUtime=222.3
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 196512 0 0 0 22151 79 0 0 25 0 1 0 133476093 805142528 196095 4089446400 134512640 135752675 4288532320 18446744073709551615 134606965 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 196568 196095 146 303 0 196263 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 786272

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12751
/proc/meminfo: memFree=30100296/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=932952 CPUtime=282.3
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 233182 0 0 0 28135 95 0 0 25 0 1 0 133476093 955342848 232765 4089446400 134512640 135752675 4288532320 18446744073709551615 134607260 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 233238 232765 146 303 0 232933 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 932952

[startup+342.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12752
/proc/meminfo: memFree=29866364/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=1090132 CPUtime=342.3
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 272449 0 0 0 34122 108 0 0 25 0 1 0 133476093 1116295168 272032 4089446400 134512640 135752675 4288532320 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 272533 272032 146 303 0 272228 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1090132

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12753
/proc/meminfo: memFree=29693200/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=1186120 CPUtime=402.31
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 296452 0 0 0 40114 117 0 0 25 0 1 0 133476093 1214586880 296035 4089446400 134512640 135752675 4288532320 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 296530 296035 146 303 0 296225 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1186120

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12755
/proc/meminfo: memFree=29418732/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=1373320 CPUtime=462.3
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 343252 0 0 0 46098 132 0 0 25 0 1 0 133476093 1406279680 342835 4089446400 134512640 135752675 4288532320 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 343330 342835 146 303 0 343025 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1373320

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12757
/proc/meminfo: memFree=29172036/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=1530568 CPUtime=522.3
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 382536 0 0 0 52086 144 0 0 25 0 1 0 133476093 1567301632 382119 4089446400 134512640 135752675 4288532320 18446744073709551615 134607248 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 382642 382119 146 303 0 382337 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1530568

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12759
/proc/meminfo: memFree=28910464/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=1693684 CPUtime=582.31
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 423291 0 0 0 58072 159 0 0 25 0 1 0 133476093 1734332416 422874 4089446400 134512640 135752675 4288532320 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 423421 422874 146 303 0 423116 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1693684

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12760
/proc/meminfo: memFree=28649000/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=1845048 CPUtime=642.32
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 461124 0 0 0 64061 171 0 0 25 0 1 0 133476093 1889329152 460707 4089446400 134512640 135752675 4288532320 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 461262 460707 146 303 0 460957 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1845048

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12761
/proc/meminfo: memFree=28383208/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=2002504 CPUtime=702.32
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 500470 0 0 0 70051 181 0 0 25 0 1 0 133476093 2050564096 500053 4089446400 134512640 135752675 4288532320 18446744073709551615 134607312 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 500626 500053 146 303 0 500321 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 2002504

[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12763
/proc/meminfo: memFree=28073736/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=2178104 CPUtime=762.32
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 544367 0 0 0 76038 194 0 0 25 0 1 0 133476093 2230378496 543950 4089446400 134512640 135752675 4288532320 18446744073709551615 134607306 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 544526 543950 146 303 0 544221 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 2178104

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12765
/proc/meminfo: memFree=27747652/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=2361716 CPUtime=822.31
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 590247 0 0 0 82025 206 0 0 25 0 1 0 133476093 2418397184 589830 4089446400 134512640 135752675 4288532320 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 590429 589830 146 303 0 590124 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 2361716

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12767
/proc/meminfo: memFree=27584864/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=2498268 CPUtime=882.32
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 624328 0 0 0 88015 217 0 0 25 0 1 0 133476093 2558226432 623911 4089446400 134512640 135752675 4288532320 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 624567 623911 146 303 0 624262 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2498268

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12771
/proc/meminfo: memFree=27379688/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=2647524 CPUtime=942.32
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 661639 0 0 0 94003 229 0 0 25 0 1 0 133476093 2711064576 661222 4089446400 134512640 135752675 4288532320 18446744073709551615 134640890 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 661881 661222 146 303 0 661576 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2647524

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12772
/proc/meminfo: memFree=27149476/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=2817760 CPUtime=1002.32
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 704198 0 0 0 99991 241 0 0 25 0 1 0 133476093 2885386240 703781 4089446400 134512640 135752675 4288532320 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 704440 703781 146 303 0 704135 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2817760

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12774
/proc/meminfo: memFree=26962412/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=2948372 CPUtime=1062.32
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 736833 0 0 0 105981 251 0 0 25 0 1 0 133476093 3019132928 736416 4089446400 134512640 135752675 4288532320 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 737093 736416 146 303 0 736788 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2948372

[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 12776
/proc/meminfo: memFree=26786992/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=3062756 CPUtime=1122.32
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 765409 0 0 0 111973 259 0 0 25 0 1 0 133476093 3136262144 764992 4089446400 134512640 135752675 4288532320 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 765689 764992 146 303 0 765384 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3062756

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12778
/proc/meminfo: memFree=26649492/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=3146840 CPUtime=1182.32
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 786371 0 0 0 117966 266 0 0 25 0 1 0 133476093 3222364160 785954 4089446400 134512640 135752675 4288532320 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 786710 785954 146 303 0 786405 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3146840

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12779
/proc/meminfo: memFree=26447056/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=3283960 CPUtime=1242.33
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 820631 0 0 0 123955 278 0 0 25 0 1 0 133476093 3362775040 820214 4089446400 134512640 135752675 4288532320 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 820990 820214 146 303 0 820685 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3283960

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12780
/proc/meminfo: memFree=26253176/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=3417272 CPUtime=1302.34
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 853939 0 0 0 129943 291 0 0 25 0 1 0 133476093 3499286528 853522 4089446400 134512640 135752675 4288532320 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 854318 853522 146 303 0 854013 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3417272

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12782
/proc/meminfo: memFree=26043184/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=3571560 CPUtime=1362.34
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 892499 0 0 0 135931 303 0 0 25 0 1 0 133476093 3657277440 892082 4089446400 134512640 135752675 4288532320 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 892890 892082 146 303 0 892585 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3571560

[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 12812
/proc/meminfo: memFree=28075796/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=3678628 CPUtime=1422.34
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 919273 0 0 0 141923 311 0 0 25 0 1 0 133476093 3766915072 918856 4089446400 134512640 135752675 4288532320 18446744073709551615 134607306 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 919657 918856 146 303 0 919352 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3678628

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12814
/proc/meminfo: memFree=27840672/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=3738412 CPUtime=1482.33
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 934201 0 0 0 147917 316 0 0 25 0 1 0 133476093 3828133888 933784 4089446400 134512640 135752675 4288532320 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 934603 933784 146 303 0 934298 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3738412

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12815
/proc/meminfo: memFree=27445664/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=3880712 CPUtime=1542.33
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 969785 0 0 0 153907 326 0 0 25 0 1 0 133476093 3973849088 969368 4089446400 134512640 135752675 4288532320 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 970178 969368 146 303 0 969873 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3880712



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1547.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12815
/proc/meminfo: memFree=27433760/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=3891284 CPUtime=1547.65
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4202496 972401 0 0 0 154438 327 0 0 25 0 1 0 133476093 3984674816 971984 4089446400 134512640 135752675 4288532320 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/12742/statm: 972821 971984 146 303 0 972516 0
Current children cumulated CPU time (s) 1547.65
Current children cumulated vsize (KiB) 3891284

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

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

[startup+1547.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12815
/proc/meminfo: memFree=27433760/32951124 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=0 CPUtime=1547.75
/proc/12742/stat : 12742 (wbo1.4b) R 12740 12742 10460 0 -1 4203524 972401 0 0 0 154438 337 0 0 25 0 1 0 133476093 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/12742/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1547.75
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1547.74
CPU time (s): 1547.79
CPU user time (s): 1544.38
CPU system time (s): 3.40248
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3891284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1544.38
system time used= 3.40248
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 972401
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= 2
involuntary context switches= 809

runsolver used 2.74658 second user time and 5.70713 second system time

The end

Launcher Data 

Begin job on node104 at 2010-06-30 20:16:26
IDJOB=2690654
IDBENCH=79176
IDSOLVER=1201
FILE ID=node104/2690654-1277921785
PBS_JOBID= 11197288
Free space on /tmp= 74208 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690654-1277921785/watcher-2690654-1277921785 -o /tmp/evaluation-result-2690654-1277921785/solver-2690654-1277921785 -C 1800 -W 2000 -M 3800  wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690654-1277921785.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 4b3e4ac9b9f8acc38ac61fe906d48ca6
RANDOM SEED=1065312438

node104.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.839
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.67
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.839
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.12
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.839
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.75
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.839
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.84
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.839
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.74
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.839
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.839
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.75
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.839
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31359348 kB
Buffers:        199588 kB
Cached:         702388 kB
SwapCached:          0 kB
Active:         901316 kB
Inactive:       546704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31359348 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2776 kB
Writeback:           0 kB
AnonPages:      546624 kB
Mapped:          16060 kB
Slab:            77864 kB
PageTables:       5756 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   701940 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= 74204 MiB
End job on node104 at 2010-06-30 20:42:15