Trace number 2701936

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

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

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b? (TO) 1800.14 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=293-P1=97-P2=163-P3=149-P4=163-P5=457-P6=521-P7=173-P8=431-P9=419-B.opb
MD5SUM3e0f07488272e35b9b674c3d7ccbd7e8
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark7.29989
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables243
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)729
Sum of products size (including duplicates)1458
Number of different products729
Sum of products size1458

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2701936-1278546261.opb.
0.00/0.00	c Instance file HOME/instance-2701936-1278546261.opb
0.00/0.00	c File size is 55270 bytes.
0.00/0.01	c Highest Coefficient sum: 523264
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:      972                                                 |
0.00/0.01	c |  Number Clauses:        729                                                 |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 757                                                 |
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 |     972     1486     6228 |     5000        0    nan |  0.000 % |
0.00/0.02	c |       100 |     972     1486     6228 |     5500      100     88 |  0.001 % |
0.00/0.02	c |       251 |     972     1486     6228 |     6050      251     84 |  0.001 % |
0.00/0.04	c |       478 |     972     1486     6228 |     6655      478     77 |  0.000 % |
0.06/0.08	c |       816 |     972     1486     6228 |     7320      816     80 |  0.000 % |
0.09/0.13	c |      1323 |     972     1486     6228 |     8052     1323     72 |  0.000 % |
0.19/0.20	c |      2083 |     972     1486     6228 |     8857     2083     71 |  0.000 % |
0.28/0.31	c |      3223 |     972     1486     6228 |     9743     3223     65 |  0.000 % |
0.39/0.47	c |      4933 |     972     1486     6228 |    10717     4933     62 |  0.000 % |
0.69/0.79	c |      7496 |     972     1486     6228 |    11789     7496     60 |  0.000 % |
1.59/1.64	c |     11340 |     972     1486     6228 |    12968    11340     63 |  0.000 % |
2.39/2.41	c |     17107 |     972     1486     6228 |    14265    10416     74 |  0.000 % |
3.30/3.32	c |     25757 |     972     1486     6228 |    15692    11598     86 |  0.000 % |
4.89/4.96	c |     38731 |     972     1486     6228 |    17261     8598     54 |  0.000 % |
8.29/8.36	c |     58193 |     972     1486     6228 |    18987    10218     80 |  0.000 % |
14.09/14.17	c |     87386 |     972     1486     6228 |    20886    10067     56 |  0.000 % |
18.39/18.46	c ===============================================================================
18.39/18.46	c New solution: 81
18.39/18.46	o 81
18.39/18.46	c Elapsed CPU time: 18.0793 s	Remaining CPU time: 161.921 s
18.39/18.46	c ===============================================================================
18.39/18.46	c |    118705 |     972     1487     6237 |     5000    19850     52 |  0.000 % |
18.48/18.58	c |    118805 |     950     1487     6237 |     5500     4945     49 |  2.263 % |
18.48/18.59	c |    118955 |     950     1487     6237 |     6050     5095     50 |  2.263 % |
18.59/18.61	c |    119181 |     950     1487     6237 |     6655     5321     51 |  2.263 % |
18.59/18.64	c |    119519 |     950     1487     6237 |     7320     5659     52 |  2.263 % |
18.59/18.69	c |    120027 |     950     1487     6237 |     8052     6167     51 |  2.263 % |
18.69/18.76	c |    120786 |     950     1487     6237 |     8857     6926     53 |  2.263 % |
18.79/18.87	c |    121925 |     950     1487     6237 |     9743     8065     55 |  2.263 % |
19.08/19.11	c |    123633 |     950     1487     6237 |    10717     9773     57 |  2.263 % |
19.39/19.48	c |    126195 |     950     1487     6237 |    11789     6820     62 |  2.263 % |
19.79/19.88	c |    130040 |     950     1487     6237 |    12968    10665     65 |  2.263 % |
20.38/20.48	c |    135807 |     950     1487     6237 |    14265     9743     61 |  2.263 % |
21.59/21.65	c |    144456 |     950     1487     6237 |    15692    10998     51 |  2.263 % |
23.09/23.18	c |    157430 |     950     1487     6237 |    17261    15959     60 |  2.263 % |
26.79/26.80	c |    176891 |     950     1487     6237 |    18987     9106     56 |  2.263 % |
32.38/32.48	c |    206084 |     950     1487     6237 |    20886    18951     43 |  2.263 % |
42.08/42.15	c |    249878 |     950     1487     6237 |    22974    20382     47 |  2.263 % |
53.67/53.75	c |    315563 |     950     1487     6237 |    25272    23456     67 |  2.263 % |
79.08/79.15	c |    414089 |     950     1487     6237 |    27799    19417     28 |  2.263 % |
122.85/122.99	c |    561878 |     950     1487     6237 |    30579    14641     56 |  2.263 % |
182.25/182.36	c There are 23 assigned variables. 2 in cost function.
182.95/183.03	c core #1
182.95/183.03	c core #2
182.95/183.03	c ============================[ Search Statistics ]==============================
182.95/183.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.95/183.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.95/183.03	c ===============================================================================
182.95/183.03	c |         0 |     882     1495     5940 |     5000        0    nan |  0.000 % |
182.95/183.03	c |       100 |     882     1495     5940 |     5500      100     86 | 10.457 % |
182.95/183.05	c |       250 |     882     1495     5940 |     6050      250     82 | 10.458 % |
182.95/183.07	c |       476 |     882     1495     5940 |     6655      476     82 | 10.457 % |
182.95/183.10	c |       813 |     882     1495     5940 |     7320      813     83 | 10.457 % |
183.05/183.13	c |      1320 |     882     1495     5940 |     8052     1320     83 | 10.458 % |
183.14/183.24	c |      2080 |     882     1495     5940 |     8857     2080     76 | 10.457 % |
183.34/183.43	c |      3219 |     882     1495     5940 |     9743     3219     70 | 10.457 % |
183.65/183.73	c |      4927 |     882     1495     5940 |    10717     4927     66 | 10.457 % |
183.95/184.03	c |      7491 |     882     1495     5940 |    11789     7491     61 | 10.457 % |
184.84/184.90	c |     11335 |     882     1495     5940 |    12968    11335     65 | 10.457 % |
186.44/186.51	c |     17103 |     882     1495     5940 |    14265    10525     57 | 10.457 % |
187.95/188.06	c |     25752 |     882     1495     5940 |    15692    11571     58 | 10.457 % |
190.94/191.03	c |     38726 |     882     1495     5940 |    17261    16332     54 | 10.457 % |
194.84/194.99	c |     58189 |     882     1495     5940 |    18987     9465     47 | 10.457 % |
203.93/204.04	c |     87382 |     882     1495     5940 |    20886     9805     47 | 10.457 % |
213.24/213.35	c |    131173 |     882     1495     5940 |    22974    21161     76 | 10.457 % |
237.33/237.40	c |    196857 |     882     1495     5940 |    25272    13019     85 | 10.457 % |
275.72/275.84	c |    295386 |     882     1495     5940 |    27799    21881     32 | 10.457 % |
324.70/324.86	c |    443176 |     882     1495     5940 |    30579    13011     57 | 10.457 % |
398.00/398.14	c |    664859 |     882     1495     5940 |    33637    17661     38 | 10.458 % |
537.55/537.75	c |    997385 |     882     1495     5940 |    37001    32612     56 | 10.457 % |
760.49/760.78	c |   1496174 |     882     1495     5940 |    40701    11845     41 | 10.457 % |
1106.69/1107.00	c |   2244356 |     882     1495     5940 |    44771    18513     46 | 10.457 % |
1617.46/1617.96	c |   3366632 |     879     1495     5940 |    49248    36090     66 | 10.762 % |

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-2701936-1278546261/watcher-2701936-1278546261 -o /tmp/evaluation-result-2701936-1278546261/solver-2701936-1278546261 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701936-1278546261.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.40 0.12 0.04 2/106 30151
/proc/meminfo: memFree=1756788/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=2900 CPUtime=0
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 349 0 0 0 0 0 0 0 19 0 1 0 22839833 2969600 268 1992294400 134512640 135751879 4289227712 18446744073709551615 134561054 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 711 255 135 303 0 406 0

[startup+0.0649989 s]
/proc/loadavg: 0.40 0.12 0.04 2/106 30151
/proc/meminfo: memFree=1756788/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=3104 CPUtime=0.06
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 438 0 0 0 6 0 0 0 19 0 1 0 22839833 3178496 343 1992294400 134512640 135751879 4289227712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 776 343 147 303 0 471 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3104

[startup+0.100998 s]
/proc/loadavg: 0.40 0.12 0.04 2/106 30151
/proc/meminfo: memFree=1756788/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=3232 CPUtime=0.09
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 474 0 0 0 9 0 0 0 19 0 1 0 22839833 3309568 379 1992294400 134512640 135751879 4289227712 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 808 379 147 303 0 503 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3232

[startup+0.300995 s]
/proc/loadavg: 0.40 0.12 0.04 2/106 30151
/proc/meminfo: memFree=1756788/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=4008 CPUtime=0.28
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 663 0 0 0 28 0 0 0 20 0 1 0 22839833 4104192 568 1992294400 134512640 135751879 4289227712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 1002 568 147 303 0 697 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 4008

[startup+0.70099 s]
/proc/loadavg: 0.40 0.12 0.04 2/106 30151
/proc/meminfo: memFree=1756788/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=5176 CPUtime=0.69
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 967 0 0 0 67 2 0 0 21 0 1 0 22839833 5300224 872 1992294400 134512640 135751879 4289227712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 1294 872 147 303 0 989 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5176

[startup+1.50098 s]
/proc/loadavg: 0.40 0.12 0.04 2/107 30152
/proc/meminfo: memFree=1753184/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=6856 CPUtime=1.49
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 1377 0 0 0 146 3 0 0 23 0 1 0 22839833 7020544 1282 1992294400 134512640 135751879 4289227712 18446744073709551615 134606323 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 1714 1282 147 303 0 1409 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6856

[startup+3.10095 s]
/proc/loadavg: 0.40 0.12 0.04 2/107 30152
/proc/meminfo: memFree=1750828/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=12588 CPUtime=3.08
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 2798 0 0 0 302 6 0 0 25 0 1 0 22839833 12890112 2703 1992294400 134512640 135751879 4289227712 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 3147 2703 148 303 0 2842 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 12588

[startup+6.30091 s]
/proc/loadavg: 0.45 0.13 0.04 2/107 30152
/proc/meminfo: memFree=1739916/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=21364 CPUtime=6.28
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 5015 0 0 0 616 12 0 0 25 0 1 0 22839833 21876736 4920 1992294400 134512640 135751879 4289227712 18446744073709551615 134649761 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 5341 4920 148 303 0 5036 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21364

[startup+12.7018 s]
/proc/loadavg: 0.49 0.15 0.05 2/107 30152
/proc/meminfo: memFree=1727516/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=32512 CPUtime=12.69
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 7771 0 0 0 1245 24 0 0 25 0 1 0 22839833 33292288 7676 1992294400 134512640 135751879 4289227712 18446744073709551615 134616312 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 8128 7676 148 303 0 7823 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32512

[startup+25.5006 s]
/proc/loadavg: 0.61 0.19 0.06 2/107 30152
/proc/meminfo: memFree=1698624/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=60872 CPUtime=25.48
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 14866 0 0 0 2498 50 0 0 25 0 1 0 22839833 62332928 14771 1992294400 134512640 135751879 4289227712 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 15218 14771 148 303 0 14913 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60872

[startup+51.1002 s]
/proc/loadavg: 0.74 0.25 0.09 2/107 30153
/proc/meminfo: memFree=1659936/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=100496 CPUtime=51.07
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 24748 0 0 0 5019 88 0 0 25 0 1 0 22839833 102907904 24653 1992294400 134512640 135751879 4289227712 18446744073709551615 134606030 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 25124 24653 148 303 0 24819 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 100496

[startup+102.308 s]
/proc/loadavg: 0.89 0.36 0.13 2/107 30154
/proc/meminfo: memFree=1604136/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=155140 CPUtime=102.27
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 38356 0 0 0 10071 156 0 0 25 0 1 0 22839833 158863360 38261 1992294400 134512640 135751879 4289227712 18446744073709551615 134609210 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 38785 38261 148 303 0 38480 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 155140

[startup+162.301 s]
/proc/loadavg: 0.96 0.48 0.18 2/107 30156
/proc/meminfo: memFree=1556148/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=203452 CPUtime=162.24
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 50385 0 0 0 16014 210 0 0 25 0 1 0 22839833 208334848 50290 1992294400 134512640 135751879 4289227712 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 50863 50290 148 303 0 50558 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 203452

[startup+222.301 s]
/proc/loadavg: 0.98 0.57 0.23 2/107 30157
/proc/meminfo: memFree=1502208/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=256776 CPUtime=222.24
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 63843 0 0 0 21940 284 0 0 25 0 1 0 22839833 262938624 63717 1992294400 134512640 135751879 4289227712 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 64194 63717 151 303 0 63889 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 256776

[startup+282.301 s]
/proc/loadavg: 0.99 0.65 0.28 2/107 30159
/proc/meminfo: memFree=1458932/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=300176 CPUtime=282.22
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 74636 0 0 0 27885 337 0 0 25 0 1 0 22839833 307380224 74510 1992294400 134512640 135751879 4289227712 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 75044 74510 151 303 0 74739 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 300176

[startup+342.301 s]
/proc/loadavg: 0.99 0.71 0.32 2/107 30161
/proc/meminfo: memFree=1411688/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=347228 CPUtime=342.2
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 86349 0 0 0 33819 401 0 0 25 0 1 0 22839833 355561472 86223 1992294400 134512640 135751879 4289227712 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 86807 86223 151 303 0 86502 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 347228

[startup+402.3 s]
/proc/loadavg: 0.99 0.76 0.36 2/107 30162
/proc/meminfo: memFree=1380316/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=379152 CPUtime=402.19
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 94288 0 0 0 39770 449 0 0 25 0 1 0 22839833 388251648 94162 1992294400 134512640 135751879 4289227712 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 94788 94163 151 303 0 94483 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 379152

[startup+462.3 s]
/proc/loadavg: 0.99 0.80 0.40 2/107 30164
/proc/meminfo: memFree=1345596/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=413384 CPUtime=462.17
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 102802 0 0 0 45726 491 0 0 25 0 1 0 22839833 423305216 102676 1992294400 134512640 135751879 4289227712 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 103346 102676 151 303 0 103041 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 413384

[startup+522.3 s]
/proc/loadavg: 0.99 0.83 0.43 2/107 30165
/proc/meminfo: memFree=1296864/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=462484 CPUtime=522.16
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 115062 0 0 0 51672 544 0 0 25 0 1 0 22839833 473583616 114936 1992294400 134512640 135751879 4289227712 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 115621 114936 151 303 0 115316 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 462484

[startup+582.3 s]
/proc/loadavg: 0.99 0.86 0.46 2/107 30167
/proc/meminfo: memFree=1239700/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=519388 CPUtime=582.14
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 129257 0 0 0 57618 596 0 0 25 0 1 0 22839833 531853312 129131 1992294400 134512640 135751879 4289227712 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 129847 129131 151 303 0 129542 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 519388

[startup+642.301 s]
/proc/loadavg: 0.99 0.88 0.49 2/107 30169
/proc/meminfo: memFree=1193696/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=565228 CPUtime=642.13
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 140673 0 0 0 63567 646 0 0 25 0 1 0 22839833 578793472 140547 1992294400 134512640 135751879 4289227712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 141307 140547 151 303 0 141002 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 565228

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.94 0.60 2/107 30175
/proc/meminfo: memFree=1028404/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=730384 CPUtime=882.06
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 181863 0 0 0 87379 827 0 0 25 0 1 0 22839833 747913216 181737 1992294400 134512640 135751879 4289227712 18446744073709551615 134616869 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 182596 181737 151 303 0 182291 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 730384

[startup+942.3 s]
/proc/loadavg: 0.99 0.95 0.62 2/107 30177
/proc/meminfo: memFree=988476/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=770520 CPUtime=942.05
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 191893 0 0 0 93331 874 0 0 25 0 1 0 22839833 789012480 191767 1992294400 134512640 135751879 4289227712 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 192630 191767 151 303 0 192325 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 770520

[startup+1002.3 s]
/proc/loadavg: 0.99 0.95 0.64 2/107 30187
/proc/meminfo: memFree=954376/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=804476 CPUtime=1002.02
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 200330 0 0 0 99285 917 0 0 25 0 1 0 22839833 823783424 200204 1992294400 134512640 135751879 4289227712 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 201119 200204 151 303 0 200814 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 804476

[startup+1062.3 s]
/proc/loadavg: 0.99 0.96 0.66 2/107 30189
/proc/meminfo: memFree=922012/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=836924 CPUtime=1062
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 208446 0 0 0 105242 958 0 0 25 0 1 0 22839833 857010176 208320 1992294400 134512640 135751879 4289227712 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 209231 208320 151 303 0 208926 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 836924

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.68 2/107 30190
/proc/meminfo: memFree=887416/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=871188 CPUtime=1121.99
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 217022 0 0 0 111199 1000 0 0 25 0 1 0 22839833 892096512 216896 1992294400 134512640 135751879 4289227712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 217797 216896 151 303 0 217492 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 871188

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.70 2/107 30192
/proc/meminfo: memFree=845628/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=913020 CPUtime=1181.97
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 227471 0 0 0 117150 1047 0 0 25 0 1 0 22839833 934932480 227345 1992294400 134512640 135751879 4289227712 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 228255 227345 151 303 0 227950 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 913020

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.71 2/107 30194
/proc/meminfo: memFree=795160/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=963008 CPUtime=1241.96
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 239959 0 0 0 123098 1098 0 0 25 0 1 0 22839833 986120192 239833 1992294400 134512640 135751879 4289227712 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 240752 239833 151 303 0 240447 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 963008

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.73 2/107 30195
/proc/meminfo: memFree=765524/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=992504 CPUtime=1301.95
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 247309 0 0 0 129064 1131 0 0 25 0 1 0 22839833 1016324096 247183 1992294400 134512640 135751879 4289227712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 248126 247183 151 303 0 247821 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 992504

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.74 2/107 30197
/proc/meminfo: memFree=739856/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=1018252 CPUtime=1361.92
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 253745 0 0 0 135032 1160 0 0 25 0 1 0 22839833 1042690048 253619 1992294400 134512640 135751879 4289227712 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 254563 253619 151 303 0 254258 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1018252

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.75 2/107 30198
/proc/meminfo: memFree=710964/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=1047132 CPUtime=1421.91
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 260956 0 0 0 140989 1202 0 0 25 0 1 0 22839833 1072263168 260830 1992294400 134512640 135751879 4289227712 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 261783 260830 151 303 0 261478 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1047132

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/107 30200
/proc/meminfo: memFree=670292/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=1087980 CPUtime=1481.89
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 271145 0 0 0 146940 1249 0 0 25 0 1 0 22839833 1114091520 271019 1992294400 134512640 135751879 4289227712 18446744073709551615 135204239 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 271995 271019 151 303 0 271690 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1087980

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/107 30202
/proc/meminfo: memFree=637184/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=1120680 CPUtime=1541.88
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 279316 0 0 0 152900 1288 0 0 25 0 1 0 22839833 1147576320 279190 1992294400 134512640 135751879 4289227712 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 280170 279190 151 303 0 279865 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1120680

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.79 2/107 30203
/proc/meminfo: memFree=582624/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=1175508 CPUtime=1601.86
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 293012 0 0 0 158843 1343 0 0 25 0 1 0 22839833 1203720192 292886 1992294400 134512640 135751879 4289227712 18446744073709551615 134603007 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 293877 292886 151 303 0 293572 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1175508

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.80 2/107 30205
/proc/meminfo: memFree=527568/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=1230156 CPUtime=1661.84
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 306673 0 0 0 164782 1402 0 0 25 0 1 0 22839833 1259679744 306547 1992294400 134512640 135751879 4289227712 18446744073709551615 134649755 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 307539 306547 151 303 0 307234 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1230156

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.81 2/107 30206
/proc/meminfo: memFree=495328/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=1262648 CPUtime=1721.83
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 314768 0 0 0 170735 1448 0 0 25 0 1 0 22839833 1292951552 314642 1992294400 134512640 135751879 4289227712 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 315662 314642 151 303 0 315357 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1262648

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 30208
/proc/meminfo: memFree=461724/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=1296040 CPUtime=1781.82
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 323085 0 0 0 176694 1488 0 0 25 0 1 0 22839833 1327144960 322959 1992294400 134512640 135751879 4289227712 18446744073709551615 134607514 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 324010 322959 151 303 0 323705 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1296040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 30209
/proc/meminfo: memFree=449324/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=1308196 CPUtime=1800.02
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4202496 326105 0 0 0 178498 1504 0 0 25 0 1 0 22839833 1339592704 325979 1992294400 134512640 135751879 4289227712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/30151/statm: 327049 325979 151 303 0 326744 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1308196

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.97 0.82 2/108 30210
/proc/meminfo: memFree=1631780/2059040 swapFree=4134944/4192956
[pid=30151] ppid=30149 vsize=0 CPUtime=1800.13
/proc/30151/stat : 30151 (wbo1.4b) R 30149 30151 29857 0 -1 4203524 326105 0 0 0 178498 1515 0 0 25 0 1 0 22839833 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0
/proc/30151/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.14
CPU user time (s): 1784.98
CPU system time (s): 15.1577
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1308196

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

runsolver used 3.49047 second user time and 8.28274 second system time

The end

Launcher Data 

Begin job on node002 at 2010-07-08 01:44:21
IDJOB=2701936
IDBENCH=47903
IDSOLVER=1161
FILE ID=node002/2701936-1278546261
PBS_JOBID= 11239528
Free space on /tmp= 62568 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=293-P1=97-P2=163-P3=149-P4=163-P5=457-P6=521-P7=173-P8=431-P9=419-B.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701936-1278546261/watcher-2701936-1278546261 -o /tmp/evaluation-result-2701936-1278546261/solver-2701936-1278546261 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701936-1278546261.opb

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

MD5SUM BENCH= 3e0f07488272e35b9b674c3d7ccbd7e8
RANDOM SEED=2122160328

node002.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1759240 kB
Buffers:         66288 kB
Cached:         150972 kB
SwapCached:      11820 kB
Active:         131552 kB
Inactive:        99856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1759240 kB
SwapTotal:     4192956 kB
SwapFree:      4134944 kB
Dirty:            2828 kB
Writeback:           0 kB
AnonPages:       11376 kB
Mapped:           8296 kB
Slab:            46328 kB
PageTables:       4156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179756 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2701936-1278546261.opb

Free space on /tmp at the end= 62564 MiB
End job on node002 at 2010-07-08 02:14:24