Trace number 2701952

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.19 1800.82

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=11-P1=331-P2=7-P3=107-P4=137-P5=439-P6=409-P7=421-P8=491-P9=293-B.opb
MD5SUMbf07e05475dbb8a26e29c8119be0dea3
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 benchmark22.8635
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.01	c wbo 1.4 beta - 20100517
0.00/0.01	c Parsing opb file format. File HOME/instance-2701952-1278546263.opb.
0.00/0.01	c Instance file HOME/instance-2701952-1278546263.opb
0.00/0.01	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.01	c |       102 |     972     1486     6228 |     5500      102     77 |  0.001 % |
0.00/0.03	c |       254 |     972     1486     6228 |     6050      254     83 |  0.001 % |
0.00/0.04	c |       479 |     972     1486     6228 |     6655      479     78 |  0.001 % |
0.00/0.07	c |       817 |     972     1486     6228 |     7320      817     74 |  0.000 % |
0.00/0.10	c |      1323 |     972     1486     6228 |     8052     1323     74 |  0.000 % |
0.10/0.17	c |      2085 |     972     1486     6228 |     8857     2085     72 |  0.000 % |
0.29/0.30	c |      3224 |     972     1486     6228 |     9743     3224     73 |  0.000 % |
0.39/0.48	c |      4932 |     972     1486     6228 |    10717     4932     68 |  0.000 % |
0.99/1.02	c |      7495 |     972     1486     6228 |    11789     7495     71 |  0.001 % |
1.39/1.46	c |     11339 |     972     1486     6228 |    12968    11339     65 |  0.000 % |
2.39/2.49	c |     17106 |     972     1486     6228 |    14265    10480     56 |  0.000 % |
3.49/3.54	c |     25756 |     972     1486     6228 |    15692    11903     55 |  0.000 % |
5.50/5.52	c |     38731 |     972     1486     6228 |    17261     8709     42 |  0.000 % |
7.80/7.84	c |     58192 |     972     1486     6228 |    18987    10255     70 |  0.000 % |
12.99/13.04	c |     87384 |     972     1486     6228 |    20886    10137     53 |  0.000 % |
24.69/24.70	c |    131173 |     972     1486     6228 |    22974    11625     51 |  0.000 % |
36.58/36.62	c |    196858 |     972     1486     6228 |    25272    13249     44 |  0.000 % |
63.47/63.55	c |    295385 |     972     1486     6228 |    27799    22822     49 |  0.000 % |
107.55/107.66	c |    443174 |     972     1486     6228 |    30579    18293     35 |  0.001 % |
162.54/162.63	c |    664859 |     972     1486     6228 |    33637    22436     67 |  0.000 % |
182.13/182.20	c There are 0 assigned variables. 0 in cost function.
182.73/182.86	c core #1
182.73/182.86	c core #2
182.73/182.86	c ============================[ Search Statistics ]==============================
182.73/182.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.73/182.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.73/182.86	c ===============================================================================
182.73/182.86	c |         0 |     883     1513     6063 |     5000        0    nan |  0.000 % |
182.73/182.87	c |       101 |     883     1513     6063 |     5500      101     84 | 10.718 % |
182.73/182.88	c |       253 |     883     1513     6063 |     6050      253     76 | 10.719 % |
182.82/182.90	c |       479 |     883     1513     6063 |     6655      479     79 | 10.718 % |
182.82/182.92	c |       816 |     883     1513     6063 |     7320      816     79 | 10.719 % |
182.82/182.97	c |      1323 |     883     1513     6063 |     8052     1323     75 | 10.718 % |
182.93/183.05	c |      2082 |     883     1513     6063 |     8857     2082     72 | 10.718 % |
183.13/183.21	c |      3221 |     883     1513     6063 |     9743     3221     66 | 10.718 % |
183.32/183.45	c |      4929 |     883     1513     6063 |    10717     4929     67 | 10.718 % |
183.74/183.84	c |      7492 |     883     1513     6063 |    11789     7492     64 | 10.718 % |
184.33/184.45	c |     11336 |     883     1513     6063 |    12968    11336     61 | 10.718 % |
185.62/185.79	c |     17103 |     883     1513     6063 |    14265    10527     50 | 10.718 % |
187.43/187.59	c |     25752 |     883     1513     6063 |    15692    11882     60 | 10.718 % |
189.14/189.22	c |     38726 |     883     1513     6063 |    17261     8397     74 | 10.718 % |
191.43/191.59	c |     58187 |     883     1513     6063 |    18987     9682     78 | 10.719 % |
197.02/197.11	c |     87379 |     883     1513     6063 |    20886    10139     35 | 10.718 % |
206.12/206.21	c |    131168 |     883     1513     6063 |    22974    21260     66 | 10.718 % |
220.41/220.59	c |    196852 |     882     1513     6063 |    25272    11872     67 | 10.820 % |
256.60/256.79	c |    295379 |     882     1513     6063 |    27799    23395     30 | 10.819 % |
312.88/313.02	c |    443168 |     882     1513     6063 |    30579    18048     40 | 10.819 % |
382.56/382.78	c |    664851 |     881     1513     6063 |    33637    20889     77 | 10.920 % |
502.42/502.69	c |    997376 |     880     1513     6063 |    37001    15592     65 | 11.022 % |
712.75/713.06	c |   1496164 |     880     1513     6063 |    40701    20946     60 | 11.022 % |
1063.61/1064.08	c |   2244346 |     880     1513     6063 |    44771    23984     53 | 11.021 % |
1611.82/1612.46	c |   3366620 |     877     1513     6063 |    49248    36436     61 | 11.326 % |

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-2701952-1278546263/watcher-2701952-1278546263 -o /tmp/evaluation-result-2701952-1278546263/solver-2701952-1278546263 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701952-1278546263.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.08 0.02 0.01 3/106 25455
/proc/meminfo: memFree=1696068/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=2764 CPUtime=0
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 339 0 0 0 0 0 0 0 18 0 1 0 22839584 2830336 258 1992294400 134512640 135751879 4288561776 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 691 258 147 303 0 372 0

[startup+0.108 s]
/proc/loadavg: 0.08 0.02 0.01 3/106 25455
/proc/meminfo: memFree=1696068/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=3356 CPUtime=0.1
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 503 0 0 0 10 0 0 0 20 0 1 0 22839584 3436544 408 1992294400 134512640 135751879 4288561776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 839 408 147 303 0 534 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3356

[startup+0.200999 s]
/proc/loadavg: 0.08 0.02 0.01 3/106 25455
/proc/meminfo: memFree=1696068/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=3744 CPUtime=0.19
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 601 0 0 0 19 0 0 0 20 0 1 0 22839584 3833856 506 1992294400 134512640 135751879 4288561776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 936 506 147 303 0 631 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3744

[startup+0.300998 s]
/proc/loadavg: 0.08 0.02 0.01 3/106 25455
/proc/meminfo: memFree=1696068/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=4140 CPUtime=0.29
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 696 0 0 0 29 0 0 0 20 0 1 0 22839584 4239360 601 1992294400 134512640 135751879 4288561776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 1035 601 147 303 0 730 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4140

[startup+0.700996 s]
/proc/loadavg: 0.08 0.02 0.01 3/106 25455
/proc/meminfo: memFree=1696068/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=5184 CPUtime=0.69
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 973 0 0 0 68 1 0 0 21 0 1 0 22839584 5308416 878 1992294400 134512640 135751879 4288561776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 1296 878 147 303 0 991 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5184

[startup+1.50099 s]
/proc/loadavg: 0.08 0.02 0.01 2/107 25456
/proc/meminfo: memFree=1692472/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=7256 CPUtime=1.49
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 1472 0 0 0 147 2 0 0 23 0 1 0 22839584 7430144 1377 1992294400 134512640 135751879 4288561776 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 1814 1377 147 303 0 1509 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7256

[startup+3.10098 s]
/proc/loadavg: 0.08 0.02 0.01 2/107 25456
/proc/meminfo: memFree=1689992/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=10608 CPUtime=3.09
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 2327 0 0 0 304 5 0 0 25 0 1 0 22839584 10862592 2232 1992294400 134512640 135751879 4288561776 18446744073709551615 134518721 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 2652 2232 148 303 0 2347 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10608

[startup+6.30096 s]
/proc/loadavg: 0.15 0.03 0.01 2/107 25456
/proc/meminfo: memFree=1683180/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=18088 CPUtime=6.29
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 4191 0 0 0 618 11 0 0 25 0 1 0 22839584 18522112 4096 1992294400 134512640 135751879 4288561776 18446744073709551615 134611227 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 4522 4096 148 303 0 4217 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18088

[startup+12.7009 s]
/proc/loadavg: 0.22 0.05 0.02 2/107 25456
/proc/meminfo: memFree=1666440/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=32632 CPUtime=12.69
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 7797 0 0 0 1246 23 0 0 25 0 1 0 22839584 33415168 7702 1992294400 134512640 135751879 4288561776 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 8158 7702 148 303 0 7853 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32632

[startup+25.5008 s]
/proc/loadavg: 0.39 0.09 0.03 2/107 25456
/proc/meminfo: memFree=1650320/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=48352 CPUtime=25.49
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 11732 0 0 0 2510 39 0 0 25 0 1 0 22839584 49512448 11637 1992294400 134512640 135751879 4288561776 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 12088 11637 148 303 0 11783 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48352

[startup+51.1007 s]
/proc/loadavg: 0.60 0.17 0.05 2/107 25456
/proc/meminfo: memFree=1613740/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=85000 CPUtime=51.07
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 20880 0 0 0 5033 74 0 0 25 0 1 0 22839584 87040000 20785 1992294400 134512640 135751879 4288561776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 21250 20785 148 303 0 20945 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 85000

[startup+102.3 s]
/proc/loadavg: 0.82 0.29 0.10 2/107 25458
/proc/meminfo: memFree=1570464/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=128052 CPUtime=102.26
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 31586 0 0 0 10102 124 0 0 25 0 1 0 22839584 131125248 31491 1992294400 134512640 135751879 4288561776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 32013 31491 148 303 0 31708 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 128052

[startup+162.301 s]
/proc/loadavg: 0.93 0.42 0.15 2/107 25460
/proc/meminfo: memFree=1494824/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=204852 CPUtime=162.23
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 50762 0 0 0 16026 197 0 0 25 0 1 0 22839584 209768448 50667 1992294400 134512640 135751879 4288561776 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 51213 50667 148 303 0 50908 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 204852

[startup+222.309 s]
/proc/loadavg: 0.97 0.52 0.20 2/107 25462
/proc/meminfo: memFree=1444232/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=253992 CPUtime=222.22
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 63159 0 0 0 21952 270 0 0 25 0 1 0 22839584 260087808 63030 1992294400 134512640 135751879 4288561776 18446744073709551615 134616388 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 63498 63030 151 303 0 63193 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 253992

[startup+282.3 s]
/proc/loadavg: 0.99 0.61 0.25 2/107 25462
/proc/meminfo: memFree=1413480/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=285360 CPUtime=282.19
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 70909 0 0 0 27906 313 0 0 25 0 1 0 22839584 292208640 70780 1992294400 134512640 135751879 4288561776 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 71340 70780 151 303 0 71035 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 285360

[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.30 2/107 25464
/proc/meminfo: memFree=1370948/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=327356 CPUtime=342.17
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 81389 0 0 0 33853 364 0 0 25 0 1 0 22839584 335212544 81260 1992294400 134512640 135751879 4288561776 18446744073709551615 135209201 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 81839 81260 151 303 0 81534 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 327356

[startup+402.3 s]
/proc/loadavg: 0.99 0.73 0.34 2/107 25466
/proc/meminfo: memFree=1319984/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=378836 CPUtime=402.15
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 94194 0 0 0 39791 424 0 0 25 0 1 0 22839584 387928064 94065 1992294400 134512640 135751879 4288561776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 94709 94065 151 303 0 94404 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 378836

[startup+462.3 s]
/proc/loadavg: 0.99 0.78 0.38 2/107 25468
/proc/meminfo: memFree=1282040/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=416756 CPUtime=462.13
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 103645 0 0 0 45739 474 0 0 25 0 1 0 22839584 426758144 103516 1992294400 134512640 135751879 4288561776 18446744073709551615 134606399 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 104189 103516 151 303 0 103884 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 416756

[startup+522.301 s]
/proc/loadavg: 0.99 0.81 0.41 2/107 25470
/proc/meminfo: memFree=1214708/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=484152 CPUtime=522.12
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 120496 0 0 0 51675 537 0 0 25 0 1 0 22839584 495771648 120367 1992294400 134512640 135751879 4288561776 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 121038 120367 151 303 0 120733 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 484152

[startup+582.3 s]
/proc/loadavg: 0.99 0.85 0.45 2/107 25470
/proc/meminfo: memFree=1164612/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=534008 CPUtime=582.09
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 132933 0 0 0 57621 588 0 0 25 0 1 0 22839584 546824192 132804 1992294400 134512640 135751879 4288561776 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 133502 132804 151 303 0 133197 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 534008

[startup+642.301 s]
/proc/loadavg: 0.99 0.87 0.48 2/107 25472
/proc/meminfo: memFree=1132992/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=565488 CPUtime=642.07
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 140776 0 0 0 63582 625 0 0 25 0 1 0 22839584 579059712 140647 1992294400 134512640 135751879 4288561776 18446744073709551615 134649755 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 141372 140647 151 303 0 141067 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 565488

[startup+702.301 s]

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

[startup+882.308 s]
/proc/loadavg: 0.99 0.93 0.58 2/107 25478
/proc/meminfo: memFree=969312/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=728960 CPUtime=882
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 181550 0 0 0 87396 804 0 0 25 0 1 0 22839584 746455040 181421 1992294400 134512640 135751879 4288561776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 182240 181421 151 303 0 181935 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 728960

[startup+942.3 s]
/proc/loadavg: 0.99 0.94 0.61 2/107 25480
/proc/meminfo: memFree=935708/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=762704 CPUtime=941.96
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 189966 0 0 0 93352 844 0 0 25 0 1 0 22839584 781008896 189837 1992294400 134512640 135751879 4288561776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 190676 189837 151 303 0 190371 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 762704

[startup+1002.3 s]
/proc/loadavg: 0.99 0.95 0.63 2/107 25491
/proc/meminfo: memFree=905196/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=792868 CPUtime=1001.93
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 197507 0 0 0 99309 884 0 0 25 0 1 0 22839584 811896832 197378 1992294400 134512640 135751879 4288561776 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 198217 197378 151 303 0 197912 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 792868

[startup+1062.3 s]
/proc/loadavg: 0.99 0.95 0.65 2/107 25493
/proc/meminfo: memFree=874080/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=824476 CPUtime=1061.91
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 205388 0 0 0 105267 924 0 0 25 0 1 0 22839584 844263424 205259 1992294400 134512640 135751879 4288561776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 206119 205259 151 303 0 205814 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 824476

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.67 2/107 25495
/proc/meminfo: memFree=823860/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=874204 CPUtime=1121.89
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 217788 0 0 0 111215 974 0 0 25 0 1 0 22839584 895184896 217659 1992294400 134512640 135751879 4288561776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 218551 217659 151 303 0 218246 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 874204

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.69 2/107 25495
/proc/meminfo: memFree=786040/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=912144 CPUtime=1181.87
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 227255 0 0 0 117172 1015 0 0 25 0 1 0 22839584 934035456 227126 1992294400 134512640 135751879 4288561776 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 228036 227126 151 303 0 227731 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 912144

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.70 2/107 25497
/proc/meminfo: memFree=749088/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=948776 CPUtime=1241.85
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 236422 0 0 0 123125 1060 0 0 25 0 1 0 22839584 971546624 236293 1992294400 134512640 135751879 4288561776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 237194 236293 151 303 0 236889 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 948776

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.72 2/107 25499
/proc/meminfo: memFree=711392/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=986592 CPUtime=1301.83
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 245864 0 0 0 129076 1107 0 0 25 0 1 0 22839584 1010270208 245735 1992294400 134512640 135751879 4288561776 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 246648 245735 151 303 0 246343 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 986592

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.74 2/107 25501
/proc/meminfo: memFree=676796/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=1021108 CPUtime=1361.81
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 254480 0 0 0 135040 1141 0 0 25 0 1 0 22839584 1045614592 254351 1992294400 134512640 135751879 4288561776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 255277 254351 151 303 0 254972 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1021108

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.75 2/107 25503
/proc/meminfo: memFree=640464/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=1057408 CPUtime=1421.79
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 263468 0 0 0 140996 1183 0 0 25 0 1 0 22839584 1082785792 263339 1992294400 134512640 135751879 4288561776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 264352 263339 151 303 0 264047 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1057408

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.76 2/107 25503
/proc/meminfo: memFree=606860/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=1091096 CPUtime=1481.77
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 271879 0 0 0 146951 1226 0 0 25 0 1 0 22839584 1117282304 271750 1992294400 134512640 135751879 4288561776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 272774 271750 151 303 0 272469 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1091096

[startup+1542.31 s]
/proc/loadavg: 1.13 1.02 0.79 2/107 25505
/proc/meminfo: memFree=578216/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=1119464 CPUtime=1541.75
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 278976 0 0 0 152913 1262 0 0 25 0 1 0 22839584 1146331136 278847 1992294400 134512640 135751879 4288561776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 279866 278847 151 303 0 279561 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1119464

[startup+1602.3 s]
/proc/loadavg: 1.05 1.01 0.80 2/107 25507
/proc/meminfo: memFree=549696/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=1148244 CPUtime=1601.73
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 286162 0 0 0 158872 1301 0 0 25 0 1 0 22839584 1175801856 286033 1992294400 134512640 135751879 4288561776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 287061 286033 151 303 0 286756 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1148244

[startup+1662.3 s]
/proc/loadavg: 1.02 1.01 0.81 2/107 25509
/proc/meminfo: memFree=512496/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=1185584 CPUtime=1661.71
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 295440 0 0 0 164830 1341 0 0 25 0 1 0 22839584 1214038016 295311 1992294400 134512640 135751879 4288561776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 296396 295311 151 303 0 296091 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1185584

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.82 2/107 25511
/proc/meminfo: memFree=488688/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=1209340 CPUtime=1721.69
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 301369 0 0 0 170795 1374 0 0 25 0 1 0 22839584 1238364160 301240 1992294400 134512640 135751879 4288561776 18446744073709551615 134616344 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 302335 301240 151 303 0 302030 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1209340

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.83 2/107 25511
/proc/meminfo: memFree=458060/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=1239764 CPUtime=1781.66
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 308982 0 0 0 176755 1411 0 0 25 0 1 0 22839584 1269518336 308853 1992294400 134512640 135751879 4288561776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 309941 308853 151 303 0 309636 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 1239764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 0.83 2/107 25513
/proc/meminfo: memFree=446736/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=1250720 CPUtime=1800.07
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4202496 311723 0 0 0 178584 1423 0 0 25 0 1 0 22839584 1280737280 311594 1992294400 134512640 135751879 4288561776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25455/statm: 312680 311594 151 303 0 312375 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1250720

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

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

[startup+1800.82 s]
/proc/loadavg: 1.00 1.00 0.83 2/107 25513
/proc/meminfo: memFree=446736/2059040 swapFree=4134964/4192956
[pid=25455] ppid=25453 vsize=0 CPUtime=1800.17
/proc/25455/stat : 25455 (wbo1.4b) R 25453 25455 25139 0 -1 4203524 311723 0 0 0 178584 1433 0 0 25 0 1 0 22839584 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0
/proc/25455/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.82
CPU time (s): 1800.19
CPU user time (s): 1785.85
CPU system time (s): 14.3428
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 1250720

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

runsolver used 3.19951 second user time and 8.30574 second system time

The end

Launcher Data 

Begin job on node009 at 2010-07-08 01:44:23
IDJOB=2701952
IDBENCH=47911
IDSOLVER=1161
FILE ID=node009/2701952-1278546263
PBS_JOBID= 11239522
Free space on /tmp= 62500 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=11-P1=331-P2=7-P3=107-P4=137-P5=439-P6=409-P7=421-P8=491-P9=293-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-2701952-1278546263/watcher-2701952-1278546263 -o /tmp/evaluation-result-2701952-1278546263/solver-2701952-1278546263 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701952-1278546263.opb

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

MD5SUM BENCH= bf07e05475dbb8a26e29c8119be0dea3
RANDOM SEED=481333691

node009.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.262
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.52
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.262
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:       1696852 kB
Buffers:         75952 kB
Cached:         202360 kB
SwapCached:      11680 kB
Active:         166012 kB
Inactive:       126876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1696852 kB
SwapTotal:     4192956 kB
SwapFree:      4134964 kB
Dirty:            2808 kB
Writeback:           0 kB
AnonPages:       11372 kB
Mapped:           8208 kB
Slab:            47368 kB
PageTables:       4252 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183232 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-2701952-1278546263.opb

Free space on /tmp at the end= 62500 MiB
End job on node009 at 2010-07-08 02:14:26