Trace number 2690426

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) 1565.51 1565.44

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo
MD5SUMbbaf7e04a2e14186c5cc5b74d1689780
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark0.260959
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5250
Total number of constraints145
Number of soft constraints94
Number of constraints which are clauses75
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint75
Top cost 4943
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 4942
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 76
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-2690426-1277894793.wbo.
0.00/0.00	c Instance file HOME/instance-2690426-1277894793.wbo
0.00/0.00	c File size is 94097 bytes.
0.00/0.00	c Highest Coefficient sum: 76
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      5250                                                |
0.00/0.00	c |  Number Clauses:        75                                                  |
0.00/0.00	c |  Number Cardinality:    70                                                  |
0.00/0.00	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 |    5250      145    10500 |     5000        0    nan |  0.000 % |
0.00/0.02	c |       100 |    5250      145    10500 |     5500      100    297 |  0.000 % |
0.00/0.03	c |       250 |    5250      145    10500 |     6050      250    314 |  0.000 % |
0.03/0.05	c |       475 |    5250      145    10500 |     6655      475    428 |  0.000 % |
0.03/0.08	c |       812 |    5250      145    10500 |     7320      812    392 |  0.000 % |
0.09/0.14	c |      1320 |    5250      145    10500 |     8052     1320    398 |  0.000 % |
0.19/0.24	c |      2080 |    5250      145    10500 |     8857     2080    399 |  0.000 % |
0.39/0.42	c |      3219 |    5250      145    10500 |     9743     3219    403 |  0.000 % |
0.79/0.84	c |      4928 |    5250      145    10500 |    10717     4928    483 |  0.000 % |
1.39/1.48	c |      7490 |    5250      145    10500 |    11789     7490    479 |  0.000 % |
2.89/2.94	c |     11337 |    5250      145    10500 |    12968    11337    495 |  0.000 % |
5.29/5.34	c |     17103 |    5250      145    10500 |    14265    17103    508 |  0.000 % |
9.69/9.75	c |     25752 |    5250      145    10500 |    15692    17201    493 |  0.000 % |
20.80/20.90	c |     38727 |    5250      145    10500 |    17261    11166    977 |  0.000 % |
54.39/54.42	c |     58191 |    5250      145    10500 |    18987    19438   1199 |  0.000 % |
76.00/76.02	c |     87385 |    5250      145    10500 |    20886    14688   1006 |  0.000 % |
110.40/110.49	c |    131175 |    5250      145    10500 |    22974    16828    661 |  0.000 % |
180.50/180.50	c There are 0 assigned variables. 0 in cost function.
180.50/180.58	c ============================[ Search Statistics ]==============================
180.50/180.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.50/180.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.50/180.58	c ===============================================================================
180.50/180.58	c |         0 |    5250      145    10500 |     5000        0    nan |  0.000 % |
180.60/180.62	c |       100 |    5250      145    10500 |     5500      100    288 |  0.000 % |
180.60/180.63	c |       252 |    5250      145    10500 |     6050      252    286 |  0.000 % |
180.70/180.72	c |       477 |    5250      145    10500 |     6655      477    520 |  0.000 % |
180.90/180.91	c |       815 |    5250      145    10500 |     7320      815    613 |  0.000 % |
181.00/181.09	c |      1322 |    5250      145    10500 |     8052     1322    515 |  0.000 % |
181.41/181.41	c |      2081 |    5250      145    10500 |     8857     2081    471 |  0.000 % |
181.90/181.91	c |      3221 |    5250      145    10500 |     9743     3221    454 |  0.000 % |
182.70/182.77	c |      4929 |    5250      145    10500 |    10717     4929    449 |  0.000 % |
184.50/184.52	c |      7491 |    5250      145    10500 |    11789     7491    471 |  0.000 % |
186.60/186.60	c |     11335 |    5250      145    10500 |    12968    11335    467 |  0.000 % |
191.20/191.30	c |     17104 |    5250      145    10500 |    14265    17104    488 |  0.000 % |
199.20/199.25	c |     25753 |    5250      145    10500 |    15692    17201    519 |  0.000 % |
212.20/212.25	c |     38728 |    5250      145    10500 |    17261    11144    574 |  0.000 % |
233.80/233.82	c |     58192 |    5250      145    10500 |    18987    19489   1046 |  0.000 % |
271.71/271.71	c |     87384 |    5250      145    10500 |    20886    14671   1040 |  0.000 % |
321.91/321.95	c |    131174 |    5250      145    10500 |    22974    17164    836 |  0.000 % |
446.21/446.29	c |    196860 |    5250      145    10500 |    25272    23705   1396 |  0.000 % |
680.42/680.46	c |    295386 |    5250      145    10500 |    27799    27834   1008 |  0.000 % |
1090.15/1090.17	c |    443177 |    5250      145    10500 |    30579    27302   1602 |  0.000 % |
1546.67/1546.64	c |    664860 |    5250      145    10500 |    33637    32979   1148 |  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-2690426-1277894793/watcher-2690426-1277894793 -o /tmp/evaluation-result-2690426-1277894793/solver-2690426-1277894793 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690426-1277894793.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.01 2.02 2.00 4/178 13079
/proc/meminfo: memFree=31243236/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=3372 CPUtime=0
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 456 0 0 0 0 0 0 0 25 0 1 0 130774198 3452928 375 4089446400 134512640 135752675 4294522928 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 843 375 146 303 0 515 0

[startup+0.0368681 s]
/proc/loadavg: 2.01 2.02 2.00 4/178 13079
/proc/meminfo: memFree=31243236/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=3964 CPUtime=0.03
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 806 0 0 0 3 0 0 0 25 0 1 0 130774198 4059136 556 4089446400 134512640 135752675 4294522928 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 991 556 144 303 0 686 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3964

[startup+0.100856 s]
/proc/loadavg: 2.01 2.02 2.00 4/178 13079
/proc/meminfo: memFree=31243236/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=5284 CPUtime=0.09
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 1121 0 0 0 9 0 0 0 25 0 1 0 130774198 5410816 871 4089446400 134512640 135752675 4294522928 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 1321 872 144 303 0 1016 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5284

[startup+0.300811 s]
/proc/loadavg: 2.01 2.02 2.00 4/178 13079
/proc/meminfo: memFree=31243236/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=8056 CPUtime=0.29
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 1810 0 0 0 29 0 0 0 25 0 1 0 130774198 8249344 1560 4089446400 134512640 135752675 4294522928 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 2014 1560 144 303 0 1709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8056

[startup+0.700739 s]
/proc/loadavg: 2.01 2.02 2.00 4/178 13079
/proc/meminfo: memFree=31243236/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=12676 CPUtime=0.69
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 2969 0 0 0 68 1 0 0 25 0 1 0 130774198 12980224 2719 4089446400 134512640 135752675 4294522928 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 3169 2719 144 303 0 2864 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12676

[startup+1.50057 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13080
/proc/meminfo: memFree=31229712/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=19148 CPUtime=1.49
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 4609 0 0 0 147 2 0 0 25 0 1 0 130774198 19607552 4359 4089446400 134512640 135752675 4294522928 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 4787 4359 144 303 0 4482 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19148

[startup+3.10026 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13080
/proc/meminfo: memFree=31220536/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=29712 CPUtime=3.09
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 7220 0 0 0 307 2 0 0 25 0 1 0 130774198 30425088 6970 4089446400 134512640 135752675 4294522928 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 7428 6970 144 303 0 7123 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29712

[startup+6.30062 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13081
/proc/meminfo: memFree=31203736/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=46500 CPUtime=6.29
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 11436 0 0 0 625 4 0 0 25 0 1 0 130774198 47616000 11186 4089446400 134512640 135752675 4294522928 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 11625 11186 144 303 0 11320 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46500

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13081
/proc/meminfo: memFree=31169192/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=78668 CPUtime=12.7
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 19471 0 0 0 1263 7 0 0 25 0 1 0 130774198 80556032 19221 4089446400 134512640 135752675 4294522928 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 19667 19221 144 303 0 19362 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 78668

[startup+25.5008 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 13081
/proc/meminfo: memFree=31109944/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=136520 CPUtime=25.49
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 33934 0 0 0 2539 10 0 0 25 0 1 0 130774198 139796480 33684 4089446400 134512640 135752675 4294522928 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 34130 33684 144 303 0 33825 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 136520

[startup+51.1007 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 13081
/proc/meminfo: memFree=31045372/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=200776 CPUtime=51.09
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 49986 0 0 0 5096 13 0 0 25 0 1 0 130774198 205594624 49736 4089446400 134512640 135752675 4294522928 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 50194 49736 144 303 0 49889 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 200776

[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 13083
/proc/meminfo: memFree=30825104/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=419920 CPUtime=102.3
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 104753 0 0 0 10199 31 0 0 25 0 1 0 130774198 429998080 104503 4089446400 134512640 135752675 4294522928 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 104980 104503 144 303 0 104675 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 419920

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 13085
/proc/meminfo: memFree=30569868/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=675344 CPUtime=162.29
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 168590 0 0 0 16183 46 0 0 25 0 1 0 130774198 691552256 168340 4089446400 134512640 135752675 4294522928 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 168836 168340 144 303 0 168531 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 675344

[startup+222.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 13086
/proc/meminfo: memFree=30514032/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=730572 CPUtime=222.3
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 182513 0 0 0 22173 57 0 0 25 0 1 0 130774198 748105728 182204 4089446400 134512640 135752675 4294522928 18446744073709551615 134612040 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 182643 182204 146 303 0 182338 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 730572

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13087
/proc/meminfo: memFree=30318824/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=926160 CPUtime=282.31
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 231401 0 0 0 28161 70 0 0 25 0 1 0 130774198 948387840 231092 4089446400 134512640 135752675 4294522928 18446744073709551615 134518948 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 231540 231092 146 303 0 231235 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 926160

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 13089
/proc/meminfo: memFree=30127836/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=1116080 CPUtime=342.3
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 278843 0 0 0 34146 84 0 0 25 0 1 0 130774198 1142865920 278534 4089446400 134512640 135752675 4294522928 18446744073709551615 134639370 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 279020 278534 146 303 0 278715 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1116080

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13091
/proc/meminfo: memFree=29955788/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=1289124 CPUtime=402.31
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 322092 0 0 0 40134 97 0 0 25 0 1 0 130774198 1320062976 321783 4089446400 134512640 135752675 4294522928 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 322281 321783 146 303 0 321976 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1289124

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13093
/proc/meminfo: memFree=29779548/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=1464432 CPUtime=462.31
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 365920 0 0 0 46120 111 0 0 25 0 1 0 130774198 1499578368 365611 4089446400 134512640 135752675 4294522928 18446744073709551615 134607306 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 366108 365611 146 303 0 365803 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1464432

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13094
/proc/meminfo: memFree=29688384/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=1555932 CPUtime=522.32
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 388780 0 0 0 52113 119 0 0 25 0 1 0 130774198 1593274368 388471 4089446400 134512640 135752675 4294522928 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 388983 388471 146 303 0 388678 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 1555932

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13095
/proc/meminfo: memFree=29598432/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=1644968 CPUtime=582.32
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 411039 0 0 0 58108 124 0 0 25 0 1 0 130774198 1684447232 410730 4089446400 134512640 135752675 4294522928 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 411242 410730 146 303 0 410937 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 1644968

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13097
/proc/meminfo: memFree=29494968/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=1747496 CPUtime=642.32
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 436642 0 0 0 64101 131 0 0 25 0 1 0 130774198 1789435904 436333 4089446400 134512640 135752675 4294522928 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 436874 436333 146 303 0 436569 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1747496

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13099
/proc/meminfo: memFree=29314484/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=1929712 CPUtime=702.32
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 482188 0 0 0 70086 146 0 0 25 0 1 0 130774198 1976025088 481879 4089446400 134512640 135752675 4294522928 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 482428 481879 146 303 0 482123 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 1929712

[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13101
/proc/meminfo: memFree=29198864/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=2043340 CPUtime=762.34
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 510576 0 0 0 76080 154 0 0 25 0 1 0 130774198 2092380160 510267 4089446400 134512640 135752675 4294522928 18446744073709551615 134607257 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 510835 510267 146 303 0 510530 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 2043340

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13102
/proc/meminfo: memFree=29094664/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=2148136 CPUtime=822.33
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 536757 0 0 0 82072 161 0 0 25 0 1 0 130774198 2199691264 536448 4089446400 134512640 135752675 4294522928 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 537034 536448 146 303 0 536729 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 2148136

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13112
/proc/meminfo: memFree=28937692/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=2302996 CPUtime=882.33
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 575433 0 0 0 88064 169 0 0 25 0 1 0 130774198 2358267904 575124 4089446400 134512640 135752675 4294522928 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 575749 575124 146 303 0 575444 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 2302996

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13114
/proc/meminfo: memFree=28780648/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=2460648 CPUtime=942.34
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 614830 0 0 0 94056 178 0 0 25 0 1 0 130774198 2519703552 614521 4089446400 134512640 135752675 4294522928 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 615162 614521 146 303 0 614857 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 2460648

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13116
/proc/meminfo: memFree=28677312/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=2563644 CPUtime=1002.34
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 640562 0 0 0 100050 184 0 0 25 0 1 0 130774198 2625171456 640253 4089446400 134512640 135752675 4294522928 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 640911 640253 146 303 0 640606 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 2563644

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13118
/proc/meminfo: memFree=28553508/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=2689744 CPUtime=1062.34
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 672072 0 0 0 106042 192 0 0 25 0 1 0 130774198 2754297856 671763 4089446400 134512640 135752675 4294522928 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 672436 671763 146 303 0 672131 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 2689744

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13119
/proc/meminfo: memFree=28366108/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=2874048 CPUtime=1122.35
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 718124 0 0 0 112032 203 0 0 25 0 1 0 130774198 2943025152 717815 4089446400 134512640 135752675 4294522928 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 718512 717815 146 303 0 718207 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 2874048

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13120
/proc/meminfo: memFree=28216996/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=3024172 CPUtime=1182.35
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 755651 0 0 0 118022 213 0 0 25 0 1 0 130774198 3096752128 755342 4089446400 134512640 135752675 4294522928 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 756043 755342 146 303 0 755738 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 3024172

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13122
/proc/meminfo: memFree=28078812/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=3161364 CPUtime=1242.35
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 789932 0 0 0 124012 223 0 0 25 0 1 0 130774198 3237236736 789623 4089446400 134512640 135752675 4294522928 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 790341 789623 146 303 0 790036 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 3161364

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13124
/proc/meminfo: memFree=27933168/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=3306012 CPUtime=1302.36
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 826083 0 0 0 130003 233 0 0 25 0 1 0 130774198 3385356288 825774 4089446400 134512640 135752675 4294522928 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 826503 825774 146 303 0 826198 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 3306012

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13126
/proc/meminfo: memFree=27815820/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=3424268 CPUtime=1362.36
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 855660 0 0 0 135997 239 0 0 25 0 1 0 130774198 3506450432 855351 4089446400 134512640 135752675 4294522928 18446744073709551615 134642002 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/13079/statm: 856067 855351 146 303 0 855762 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 3424268

[startup+1422.31 s]
/proc/loadavg: 2.47 2.11 2.04 3/199 13264
/proc/meminfo: memFree=27534040/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=3554156 CPUtime=1422.36
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 888103 0 0 0 141986 250 0 0 25 0 1 0 130774198 3639455744 887794 4089446400 134512640 135752675 4294522928 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/13079/statm: 888539 887794 146 303 0 888234 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 3554156

[startup+1482.3 s]
/proc/loadavg: 2.39 2.15 2.05 3/199 13344
/proc/meminfo: memFree=27398600/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=3688764 CPUtime=1482.35
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 921750 0 0 0 147972 263 0 0 25 0 1 0 130774198 3777294336 921441 4089446400 134512640 135752675 4294522928 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/13079/statm: 922191 921441 146 303 0 921886 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 3688764

[startup+1542.3 s]
/proc/loadavg: 2.14 2.12 2.05 3/179 13374
/proc/meminfo: memFree=27364932/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=3827764 CPUtime=1542.36
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 956477 0 0 0 153962 274 0 0 25 0 1 0 130774198 3919630336 956168 4089446400 134512640 135752675 4294522928 18446744073709551615 134607312 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/13079/statm: 956941 956168 146 303 0 956636 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 3827764



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1565.31 s]
/proc/loadavg: 2.10 2.11 2.04 3/179 13375
/proc/meminfo: memFree=27291764/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=3891320 CPUtime=1565.37
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4202496 972373 0 0 0 156257 280 0 0 25 0 1 0 130774198 3984711680 972064 4089446400 134512640 135752675 4294522928 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/13079/statm: 972830 972064 146 303 0 972525 0
Current children cumulated CPU time (s) 1565.37
Current children cumulated vsize (KiB) 3891320

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

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

[startup+1565.41 s]
/proc/loadavg: 2.10 2.11 2.04 3/179 13375
/proc/meminfo: memFree=27291764/32950928 swapFree=67111528/67111528
[pid=13079] ppid=13077 vsize=0 CPUtime=1565.47
/proc/13079/stat : 13079 (wbo1.4b) R 13077 13079 11722 0 -1 4203524 972373 0 0 0 156257 290 0 0 25 0 1 0 130774198 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/13079/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1565.47
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1565.44
CPU time (s): 1565.51
CPU user time (s): 1562.58
CPU system time (s): 2.93355
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3891320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1562.58
system time used= 2.93355
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 972373
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= 893

runsolver used 2.09968 second user time and 5.15322 second system time

The end

Launcher Data 

Begin job on node149 at 2010-06-30 12:46:33
IDJOB=2690426
IDBENCH=78742
IDSOLVER=1201
FILE ID=node149/2690426-1277894793
PBS_JOBID= 11197056
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= bbaf7e04a2e14186c5cc5b74d1689780
RANDOM SEED=509373978

node149.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.831
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.66
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.831
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.831
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.831
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.75
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.831
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.831
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.68
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.831
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.82
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.831
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31243764 kB
Buffers:        183968 kB
Cached:        1267460 kB
SwapCached:          0 kB
Active:         549520 kB
Inactive:      1013868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31243764 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2748 kB
Writeback:           0 kB
AnonPages:      111440 kB
Mapped:          15400 kB
Slab:            81424 kB
PageTables:       4756 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   258768 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 node149 at 2010-06-30 13:12:40