Trace number 3446991

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.6? (TO) 1800.06 1800.02

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo
MD5SUM168e81c26eea0b6e6155adb2f3f4d195
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.080986
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables930
Total number of constraints61
Number of soft constraints61
Number of constraints which are clauses31
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
Top cost 3358
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3357
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 32
Number of bits of the biggest sum of numbers6
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 wbo file format. File HOME/instance-3446991-1307906336.wbo.
0.00/0.00	c Instance file HOME/instance-3446991-1307906336.wbo
0.00/0.00	c File size is 15679 bytes.
0.00/0.00	c Highest Coefficient sum: 32
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      930                                                 |
0.00/0.00	c |  Number Clauses:        31                                                  |
0.00/0.00	c |  Number Cardinality:    30                                                  |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     930       61     1860 |     5000        0   -nan |  0.000 % |
0.00/0.00	c |       101 |     930       61     1860 |     5500      101    105 |  0.000 % |
0.00/0.00	c |       252 |     930       61     1860 |     6050      252    154 |  0.000 % |
0.00/0.01	c |       479 |     930       61     1860 |     6655      479    152 |  0.000 % |
0.00/0.02	c |       816 |     930       61     1860 |     7320      816    145 |  0.000 % |
0.00/0.05	c |      1322 |     930       61     1860 |     8052     1322    170 |  0.000 % |
0.00/0.09	c |      2082 |     930       61     1860 |     8857     2082    172 |  0.000 % |
0.09/0.15	c |      3223 |     930       61     1860 |     9743     3223    176 |  0.000 % |
0.18/0.28	c |      4932 |     930       61     1860 |    10717     4932    169 |  0.000 % |
0.49/0.55	c |      7494 |     930       61     1860 |    11789     7494    187 |  0.000 % |
0.99/1.04	c |     11338 |     930       61     1860 |    12968    11338    195 |  0.000 % |
2.09/2.11	c |     17105 |     930       61     1860 |    14265    10202    189 |  0.000 % |
4.49/4.59	c |     25755 |     930       61     1860 |    15692    11297    369 |  0.000 % |
11.39/11.46	c |     38730 |     930       61     1860 |    17261    16005    468 |  0.000 % |
27.08/27.18	c |     58191 |     930       61     1860 |    18987    17790    685 |  0.000 % |
67.99/68.01	c |     87383 |     930       61     1860 |    20886    17826    688 |  0.000 % |
143.30/143.33	c |    131176 |     930       61     1860 |    22974    19094    719 |  0.000 % |
347.10/347.13	c |    196861 |     930       61     1860 |    25272    14486    710 |  0.000 % |
691.70/691.75	c |    295388 |     930       61     1860 |    27799    17938    745 |  0.000 % |
1155.52/1155.50	c |    443180 |     930       61     1860 |    30579    22591    739 |  0.000 % |
1757.43/1757.44	c |    664866 |     930       61     1860 |    33637    24206    727 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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 /var/tmp/evaluation-result-3446991-1307906336/watcher-3446991-1307906336 -o /var/tmp/evaluation-result-3446991-1307906336/solver-3446991-1307906336 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446991-1307906336.wbo 

running on 4 cores: 1,3,5,7

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: 2.00 2.00 1.86 3/177 20879
/proc/meminfo: memFree=1266036/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=2240 CPUtime=0 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 370 0 0 0 0 0 0 0 25 0 1 0 902234507 2293760 317 33554432000 4194304 5714214 140733955333168 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 560 318 177 372 0 185 0

[startup+0.0982731 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 20879
/proc/meminfo: memFree=1266036/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=4356 CPUtime=0.08 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 882 0 0 0 8 0 0 0 25 0 1 0 902234507 4460544 829 33554432000 4194304 5714214 140733955333168 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 1089 829 177 372 0 714 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4356

[startup+0.100272 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 20879
/proc/meminfo: memFree=1266036/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=4356 CPUtime=0.09 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 892 0 0 0 9 0 0 0 25 0 1 0 902234507 4460544 839 33554432000 4194304 5714214 140733955333168 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 1089 840 177 372 0 714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4356

[startup+0.300234 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 20879
/proc/meminfo: memFree=1266036/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=7260 CPUtime=0.29 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 1609 0 0 0 28 1 0 0 25 0 1 0 902234507 7434240 1556 33554432000 4194304 5714214 140733955333168 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 1815 1557 177 372 0 1440 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7260

[startup+0.700165 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 20879
/proc/meminfo: memFree=1266036/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=11824 CPUtime=0.69 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 2752 0 0 0 67 2 0 0 25 0 1 0 902234507 12107776 2699 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 2956 2699 177 372 0 2581 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11824

[startup+1.50102 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 20880
/proc/meminfo: memFree=1253280/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=16868 CPUtime=1.49 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 4002 0 0 0 146 3 0 0 25 0 1 0 902234507 17272832 3949 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 4217 3949 177 372 0 3842 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16868

[startup+3.10074 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 20880
/proc/meminfo: memFree=1249940/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=22832 CPUtime=3.09 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 5492 0 0 0 305 4 0 0 25 0 1 0 902234507 23379968 5439 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 5708 5439 177 372 0 5333 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22832

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 20880
/proc/meminfo: memFree=1233332/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=37372 CPUtime=6.29 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 9134 0 0 0 621 8 0 0 25 0 1 0 902234507 38268928 9081 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 9343 9081 177 372 0 8968 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37372

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 20881
/proc/meminfo: memFree=1216088/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=50224 CPUtime=12.69 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 12347 0 0 0 1258 11 0 0 25 0 1 0 902234507 51429376 12294 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 12556 12294 177 372 0 12181 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50224

[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 20881
/proc/meminfo: memFree=1190432/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=65080 CPUtime=25.49 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 16053 0 0 0 2532 17 0 0 25 0 1 0 902234507 66641920 16000 33554432000 4194304 5714214 140733955333168 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 16270 16000 177 372 0 15895 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65080

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 20882
/proc/meminfo: memFree=1168680/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=77056 CPUtime=51.09 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 19025 0 0 0 5088 21 0 0 25 0 1 0 902234507 78905344 18972 33554432000 4194304 5714214 140733955333168 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 19264 18972 177 372 0 18889 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 77056

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 20883
/proc/meminfo: memFree=1154772/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=84108 CPUtime=102.29 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 20760 0 0 0 10203 26 0 0 25 0 1 0 902234507 86126592 20707 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 21027 20707 177 372 0 20652 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 84108

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 20885
/proc/meminfo: memFree=1125980/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=99664 CPUtime=162.29 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 24621 0 0 0 16195 34 0 0 25 0 1 0 902234507 102055936 24568 33554432000 4194304 5714214 140733955333168 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 24916 24568 177 372 0 24541 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 99664

[startup+222.301 s]
/proc/loadavg: 2.10 2.01 1.89 3/176 20996
/proc/meminfo: memFree=1587188/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=103908 CPUtime=222.29 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 25660 0 0 0 22188 41 0 0 25 0 1 0 902234507 106401792 25607 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 25977 25607 177 372 0 25602 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 103908

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 1.89 3/178 21003
/proc/meminfo: memFree=1527484/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=113868 CPUtime=282.29 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 28162 0 0 0 28185 44 0 0 25 0 1 0 902234507 116600832 28109 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 28467 28109 177 372 0 28092 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 113868

[startup+342.301 s]
/proc/loadavg: 2.01 2.00 1.90 3/178 21004
/proc/meminfo: memFree=1509452/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=126164 CPUtime=342.29 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 31197 0 0 0 34180 49 0 0 25 0 1 0 902234507 129191936 31144 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 31541 31144 177 372 0 31166 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 126164

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21082
/proc/meminfo: memFree=1536120/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=132632 CPUtime=402.3 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 32818 0 0 0 40176 54 0 0 25 0 1 0 902234507 135815168 32765 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 33158 32765 177 372 0 32783 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 132632

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21084
/proc/meminfo: memFree=1508840/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=134348 CPUtime=462.3 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 33254 0 0 0 46173 57 0 0 25 0 1 0 902234507 137572352 33201 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 33587 33201 177 372 0 33212 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 134348

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21085
/proc/meminfo: memFree=1499612/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=134176 CPUtime=522.3 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 33260 0 0 0 52170 60 0 0 25 0 1 0 902234507 137396224 33181 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 33544 33181 177 372 0 33169 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 134176

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21087
/proc/meminfo: memFree=1478984/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=134172 CPUtime=582.3 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 33265 0 0 0 58166 64 0 0 25 0 1 0 902234507 137392128 33185 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 33543 33185 177 372 0 33168 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 134172

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.08 2.03 1.92 3/178 21093
/proc/meminfo: memFree=1367224/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=165180 CPUtime=822.31 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 40957 0 0 0 82151 80 0 0 25 0 1 0 902234507 169144320 40877 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 41295 40877 177 372 0 40920 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 165180

[startup+882.301 s]
/proc/loadavg: 2.03 2.02 1.92 3/178 21095
/proc/meminfo: memFree=1336056/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=173544 CPUtime=882.31 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 43007 0 0 0 88148 83 0 0 25 0 1 0 902234507 177709056 42927 33554432000 4194304 5714214 140733955333168 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 43386 42927 177 372 0 43011 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 173544

[startup+942.3 s]
/proc/loadavg: 2.01 2.02 1.92 3/178 21096
/proc/meminfo: memFree=1311476/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=172880 CPUtime=942.31 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 43011 0 0 0 94143 88 0 0 25 0 1 0 902234507 177029120 42776 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 43220 42776 177 372 0 42845 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 172880

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/178 21098
/proc/meminfo: memFree=1294696/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=171960 CPUtime=1002.31 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 43011 0 0 0 100138 93 0 0 25 0 1 0 902234507 176087040 42546 33554432000 4194304 5714214 140733955333168 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 42990 42546 177 372 0 42615 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 171960

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21100
/proc/meminfo: memFree=1277060/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=171960 CPUtime=1062.32 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 43011 0 0 0 106134 98 0 0 25 0 1 0 902234507 176087040 42546 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 42990 42546 177 372 0 42615 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 171960

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21101
/proc/meminfo: memFree=1249492/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=176640 CPUtime=1122.32 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 44175 0 0 0 112128 104 0 0 25 0 1 0 902234507 180879360 43710 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319864 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 44160 43710 177 372 0 43785 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 176640

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21103
/proc/meminfo: memFree=1231852/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=177020 CPUtime=1182.32 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 44235 0 0 0 118124 108 0 0 25 0 1 0 902234507 181268480 43770 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 44255 43770 177 372 0 43880 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 177020

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21104
/proc/meminfo: memFree=1202056/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=188240 CPUtime=1242.32 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 47038 0 0 0 124119 113 0 0 25 0 1 0 902234507 192757760 46573 33554432000 4194304 5714214 140733955333168 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 47060 46573 177 372 0 46685 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 188240

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21106
/proc/meminfo: memFree=1171528/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=201860 CPUtime=1302.32 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 50446 0 0 0 130114 118 0 0 25 0 1 0 902234507 206704640 49981 33554432000 4194304 5714214 140733955333168 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 50465 49981 177 372 0 50090 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 201860

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 21108
/proc/meminfo: memFree=1157232/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=201884 CPUtime=1362.33 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 50617 0 0 0 136108 125 0 0 25 0 1 0 902234507 206729216 50013 33554432000 4194304 5714214 140733955333168 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 50471 50013 177 372 0 50096 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 201884

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 21109
/proc/meminfo: memFree=1143932/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=201884 CPUtime=1422.33 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 50617 0 0 0 142102 131 0 0 25 0 1 0 902234507 206729216 50013 33554432000 4194304 5714214 140733955333168 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 50471 50013 177 372 0 50096 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 201884

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21111
/proc/meminfo: memFree=1126524/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=202884 CPUtime=1482.33 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 50849 0 0 0 148097 136 0 0 25 0 1 0 902234507 207753216 50245 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 50721 50245 177 372 0 50346 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 202884

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21112
/proc/meminfo: memFree=1100572/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=208036 CPUtime=1542.32 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 52121 0 0 0 154091 141 0 0 25 0 1 0 902234507 213028864 51517 33554432000 4194304 5714214 140733955333168 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 52009 51517 177 372 0 51634 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 208036

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21114
/proc/meminfo: memFree=1077840/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=214348 CPUtime=1602.33 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 53658 0 0 0 160087 146 0 0 25 0 1 0 902234507 219492352 53054 33554432000 4194304 5714214 140733955333168 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 53587 53054 177 372 0 53212 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 214348

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21116
/proc/meminfo: memFree=1058960/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=217328 CPUtime=1662.33 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 54385 0 0 0 166081 152 0 0 25 0 1 0 902234507 222543872 53781 33554432000 4194304 5714214 140733955333168 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 54332 53781 177 372 0 53957 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 217328

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21117
/proc/meminfo: memFree=1037980/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=224436 CPUtime=1722.33 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 56176 0 0 0 172074 159 0 0 25 0 1 0 902234507 229822464 55572 33554432000 4194304 5714214 140733955333168 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 56109 55572 177 372 0 55734 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 224436

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21119
/proc/meminfo: memFree=1021332/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=224944 CPUtime=1782.34 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 56250 0 0 0 178071 163 0 0 25 0 1 0 902234507 230342656 55646 33554432000 4194304 5714214 140733955333168 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 56236 55646 177 372 0 55861 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 224944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21119
/proc/meminfo: memFree=1012628/32951124 swapFree=67052292/67111528
[pid=20879] ppid=20877 vsize=227212 CPUtime=1800.04 cores=1,3,5,7
/proc/20879/stat : 20879 (wbo1.6) R 20877 20879 19038 0 -1 4202496 56806 0 0 0 179839 165 0 0 25 0 1 0 902234507 232665088 56202 33554432000 4194304 5714214 140733955333168 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20879/statm: 56803 56202 177 372 0 56428 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 227212

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.02
CPU time (s): 1800.06
CPU user time (s): 1798.39
CPU system time (s): 1.66575
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 227212

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

runsolver used 2.43363 second user time and 5.87311 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-12 21:18:56
IDJOB=3446991
IDBENCH=79172
IDSOLVER=1943
FILE ID=node108/3446991-1307906336
RUNJOBID= node108-1307904510-20601
PBS_JOBID= 13559595
Free space on /var/tmp= 2884 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo
COMMAND LINE= wbo1.6 -file-format=wbo -time-limit=TIMEOUT -search-mode=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3446991-1307906336/watcher-3446991-1307906336 -o /var/tmp/evaluation-result-3446991-1307906336/solver-3446991-1307906336 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446991-1307906336.wbo

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

MD5SUM BENCH= 168e81c26eea0b6e6155adb2f3f4d195
RANDOM SEED=1850540825

node108.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.820
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.64
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.820
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.820
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.82
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.820
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.77
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.820
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.82
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.820
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.75
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.820
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.820
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:       1265976 kB
Buffers:         58436 kB
Cached:       30226904 kB
SwapCached:      23196 kB
Active:       15646960 kB
Inactive:     15091764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1265976 kB
SwapTotal:    67111528 kB
SwapFree:     67052292 kB
Dirty:            4276 kB
Writeback:           0 kB
AnonPages:      451372 kB
Mapped:          10008 kB
Slab:           881156 kB
PageTables:       5132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   635864 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 /var/tmp at the end= 2880 MiB
End job on node108 at 2011-06-12 21:48:58