Trace number 2702094

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.71

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=257-P1=53-P2=163-P3=163-P4=251-P5=269-P6=479-P7=113-B.opb
MD5SUM61ecac306f245a9bac818667ce91a2bc
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 benchmark9.69253
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 variables189
Total number of constraints15
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 constraints15
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)567
Sum of products size (including duplicates)1134
Number of different products567
Sum of products size1134

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2702094-1278546478.opb.
0.00/0.00	c Instance file HOME/instance-2702094-1278546478.opb
0.00/0.00	c File size is 42576 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:      756                                                 |
0.00/0.01	c |  Number Clauses:        567                                                 |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 589                                                 |
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 |     756     1156     4842 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       101 |     756     1156     4842 |     5500      101     84 |  0.002 % |
0.00/0.02	c |       252 |     756     1156     4842 |     6050      252     85 |  0.002 % |
0.03/0.04	c |       478 |     756     1156     4842 |     6655      478     82 |  0.002 % |
0.03/0.07	c |       815 |     756     1156     4842 |     7320      815     76 |  0.000 % |
0.09/0.11	c |      1322 |     756     1156     4842 |     8052     1322     74 |  0.000 % |
0.09/0.19	c |      2082 |     756     1156     4842 |     8857     2082     71 |  0.000 % |
0.29/0.38	c |      3221 |     756     1156     4842 |     9743     3221     71 |  0.000 % |
0.59/0.60	c |      4929 |     756     1156     4842 |    10717     4929     68 |  0.000 % |
0.89/0.92	c |      7491 |     756     1156     4842 |    11789     7491     66 |  0.000 % |
1.29/1.31	c |     11336 |     756     1156     4842 |    12968    11336     69 |  0.000 % |
1.89/1.94	c |     17103 |     756     1156     4842 |    14265    10325     64 |  0.000 % |
2.99/3.02	c |     25754 |     756     1156     4842 |    15692    11750     56 |  0.000 % |
4.88/4.96	c |     38729 |     756     1156     4842 |    17261     8894     56 |  0.000 % |
8.48/8.58	c |     58191 |     756     1156     4842 |    18987    10997     43 |  0.000 % |
12.48/12.53	c |     87383 |     756     1156     4842 |    20886    10844     71 |  0.000 % |
22.88/22.93	c |    131174 |     756     1156     4842 |    22974    11930     24 |  0.000 % |
39.48/39.54	c |    196858 |     756     1156     4842 |    25272    14182     46 |  0.000 % |
66.98/67.05	c |    295384 |     756     1156     4842 |    27799    12273     43 |  0.000 % |
112.25/112.38	c |    443173 |     756     1156     4842 |    30579    24591     49 |  0.000 % |
181.74/181.81	c There are 0 assigned variables. 0 in cost function.
182.24/182.35	c core #1
182.24/182.35	c core #2
182.24/182.35	c ============================[ Search Statistics ]==============================
182.24/182.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.24/182.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.24/182.35	c ===============================================================================
182.24/182.35	c |         0 |     667     1182     4674 |     5000        0    nan |  0.000 % |
182.24/182.36	c |       101 |     667     1182     4674 |     5500      101     87 | 13.713 % |
182.24/182.37	c |       252 |     667     1182     4674 |     6050      252     83 | 13.714 % |
182.24/182.39	c |       477 |     667     1182     4674 |     6655      477     70 | 13.713 % |
182.34/182.43	c |       814 |     667     1182     4674 |     7320      814     68 | 13.713 % |
182.34/182.49	c |      1320 |     667     1182     4674 |     8052     1320     67 | 13.713 % |
182.45/182.56	c |      2079 |     667     1182     4674 |     8857     2079     71 | 13.713 % |
182.55/182.69	c |      3219 |     667     1182     4674 |     9743     3219     73 | 13.713 % |
182.84/182.90	c |      4928 |     667     1182     4674 |    10717     4928     70 | 13.713 % |
183.24/183.37	c |      7490 |     667     1182     4674 |    11789     7490     66 | 13.714 % |
183.74/183.85	c |     11334 |     667     1182     4674 |    12968    11334     65 | 13.713 % |
184.84/184.97	c |     17102 |     667     1182     4674 |    14265    10492     63 | 13.713 % |
186.74/186.84	c |     25751 |     667     1182     4674 |    15692    11863     59 | 13.713 % |
188.73/188.84	c |     38725 |     667     1182     4674 |    17261     8576     68 | 13.713 % |
192.04/192.16	c |     58189 |     667     1182     4674 |    18987    10308     73 | 13.713 % |
196.54/196.64	c |     87381 |     667     1182     4674 |    20886    10358     59 | 13.713 % |
204.44/204.56	c |    131171 |     667     1182     4674 |    22974    11478     53 | 13.713 % |
222.93/223.08	c |    196855 |     667     1182     4674 |    25272    16838     51 | 13.714 % |
258.82/258.95	c |    295381 |     667     1182     4674 |    27799    15539     51 | 13.713 % |
302.41/302.51	c |    443171 |     666     1182     4674 |    30579    25214     31 | 13.842 % |
400.88/401.01	c |    664854 |     665     1182     4674 |    33637    27052     53 | 13.974 % |
527.04/527.28	c |    997379 |     663     1182     4674 |    37001    19861     44 | 14.232 % |
762.28/762.59	c |   1496167 |     652     1182     4674 |    40701    23077     38 | 15.654 % |
1154.66/1155.06	c |   2244350 |     652     1182     4674 |    44771    30872     40 | 15.653 % |

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-2702094-1278546478/watcher-2702094-1278546478 -o /tmp/evaluation-result-2702094-1278546478/solver-2702094-1278546478 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702094-1278546478.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.92 0.50 0.20 3/105 28393
/proc/meminfo: memFree=1716824/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=2748 CPUtime=0
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 311 0 0 0 0 0 0 0 19 0 1 0 22854476 2813952 230 1992294400 134512640 135751879 4294199408 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 687 230 142 303 0 371 0

[startup+0.0383051 s]
/proc/loadavg: 0.92 0.50 0.20 3/105 28393
/proc/meminfo: memFree=1716824/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=2968 CPUtime=0.03
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 390 0 0 0 3 0 0 0 19 0 1 0 22854476 3039232 298 1992294400 134512640 135751879 4294199408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 742 298 147 303 0 437 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2968

[startup+0.101294 s]
/proc/loadavg: 0.92 0.50 0.20 3/105 28393
/proc/meminfo: memFree=1716824/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=3224 CPUtime=0.09
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 467 0 0 0 9 0 0 0 19 0 1 0 22854476 3301376 375 1992294400 134512640 135751879 4294199408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 806 375 147 303 0 501 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3224

[startup+0.30132 s]
/proc/loadavg: 0.92 0.50 0.20 3/105 28393
/proc/meminfo: memFree=1716824/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=3868 CPUtime=0.29
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 624 0 0 0 29 0 0 0 20 0 1 0 22854476 3960832 532 1992294400 134512640 135751879 4294199408 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 967 532 147 303 0 662 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3868

[startup+0.70037 s]
/proc/loadavg: 0.92 0.50 0.20 3/105 28393
/proc/meminfo: memFree=1716824/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=5036 CPUtime=0.69
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 904 0 0 0 68 1 0 0 20 0 1 0 22854476 5156864 812 1992294400 134512640 135751879 4294199408 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 1259 812 147 303 0 954 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5036

[startup+1.50047 s]
/proc/loadavg: 0.92 0.50 0.20 2/106 28394
/proc/meminfo: memFree=1713592/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=7928 CPUtime=1.49
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 1625 0 0 0 146 3 0 0 22 0 1 0 22854476 8118272 1533 1992294400 134512640 135751879 4294199408 18446744073709551615 134606447 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 1982 1533 147 303 0 1677 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7928

[startup+3.10067 s]
/proc/loadavg: 0.92 0.50 0.20 2/106 28394
/proc/meminfo: memFree=1709624/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=12200 CPUtime=3.09
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 2696 0 0 0 303 6 0 0 25 0 1 0 22854476 12492800 2604 1992294400 134512640 135751879 4294199408 18446744073709551615 134606411 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 3050 2604 148 303 0 2745 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12200

[startup+6.30107 s]
/proc/loadavg: 0.93 0.51 0.20 2/106 28394
/proc/meminfo: memFree=1702060/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=18536 CPUtime=6.28
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 4311 0 0 0 619 9 0 0 25 0 1 0 22854476 18980864 4219 1992294400 134512640 135751879 4294199408 18446744073709551615 134602472 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 4634 4219 148 303 0 4329 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18536

[startup+12.7009 s]
/proc/loadavg: 0.93 0.52 0.20 2/106 28394
/proc/meminfo: memFree=1688420/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=32452 CPUtime=12.69
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 7756 0 0 0 1249 20 0 0 25 0 1 0 22854476 33230848 7664 1992294400 134512640 135751879 4294199408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 8113 7665 148 303 0 7808 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32452

[startup+25.5015 s]
/proc/loadavg: 0.95 0.54 0.22 2/106 28394
/proc/meminfo: memFree=1674904/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=44656 CPUtime=25.48
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 10797 0 0 0 2514 34 0 0 25 0 1 0 22854476 45727744 10705 1992294400 134512640 135751879 4294199408 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 11164 10705 148 303 0 10859 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44656

[startup+51.1017 s]
/proc/loadavg: 0.96 0.58 0.24 2/106 28396
/proc/meminfo: memFree=1646508/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=73388 CPUtime=51.07
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 17966 0 0 0 5043 64 0 0 25 0 1 0 22854476 75149312 17874 1992294400 134512640 135751879 4294199408 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 18347 17874 148 303 0 18042 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 73388

[startup+102.309 s]
/proc/loadavg: 0.98 0.64 0.28 2/106 28396
/proc/meminfo: memFree=1599512/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=119716 CPUtime=102.27
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 29482 0 0 0 10112 115 0 0 25 0 1 0 22854476 122589184 29390 1992294400 134512640 135751879 4294199408 18446744073709551615 134602930 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 29929 29390 148 303 0 29624 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 119716

[startup+162.302 s]
/proc/loadavg: 0.99 0.70 0.32 2/106 28398
/proc/meminfo: memFree=1561072/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=158676 CPUtime=162.24
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 39175 0 0 0 16062 162 0 0 25 0 1 0 22854476 162484224 39083 1992294400 134512640 135751879 4294199408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 39669 39083 148 303 0 39364 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 158676

[startup+222.301 s]
/proc/loadavg: 0.99 0.75 0.36 2/106 28400
/proc/meminfo: memFree=1513580/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=205472 CPUtime=222.23
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 51037 0 0 0 21995 228 0 0 25 0 1 0 22854476 210403328 50914 1992294400 134512640 135751879 4294199408 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 51368 50914 151 303 0 51063 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 205472

[startup+282.302 s]
/proc/loadavg: 0.99 0.80 0.39 2/106 28402
/proc/meminfo: memFree=1474024/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=245204 CPUtime=282.21
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 60933 0 0 0 27941 280 0 0 25 0 1 0 22854476 251088896 60810 1992294400 134512640 135751879 4294199408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 61301 60810 151 303 0 60996 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 245204

[startup+342.301 s]
/proc/loadavg: 0.99 0.83 0.43 2/106 28404
/proc/meminfo: memFree=1445876/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=273368 CPUtime=342.2
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 67862 0 0 0 33895 325 0 0 25 0 1 0 22854476 279928832 67739 1992294400 134512640 135751879 4294199408 18446744073709551615 134603007 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 68342 67739 151 303 0 68037 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 273368

[startup+402.302 s]
/proc/loadavg: 0.99 0.86 0.46 2/106 28404
/proc/meminfo: memFree=1416116/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=303320 CPUtime=402.18
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 75325 0 0 0 39856 362 0 0 25 0 1 0 22854476 310599680 75202 1992294400 134512640 135751879 4294199408 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 75830 75202 151 303 0 75525 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 303320

[startup+462.301 s]
/proc/loadavg: 0.99 0.88 0.49 2/106 28406
/proc/meminfo: memFree=1366020/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=353380 CPUtime=462.16
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 87805 0 0 0 45799 417 0 0 25 0 1 0 22854476 361861120 87682 1992294400 134512640 135751879 4294199408 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 88345 87682 151 303 0 88040 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 353380

[startup+522.302 s]
/proc/loadavg: 0.99 0.90 0.52 2/106 28408
/proc/meminfo: memFree=1328448/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=391276 CPUtime=522.15
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 97247 0 0 0 51755 460 0 0 25 0 1 0 22854476 400666624 97124 1992294400 134512640 135751879 4294199408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 97819 97124 151 303 0 97514 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 391276

[startup+582.301 s]
/proc/loadavg: 0.99 0.92 0.55 2/106 28410
/proc/meminfo: memFree=1297696/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=422072 CPUtime=582.13
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 104870 0 0 0 57711 502 0 0 25 0 1 0 22854476 432201728 104747 1992294400 134512640 135751879 4294199408 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 105518 104747 151 303 0 105213 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 422072

[startup+642.301 s]
/proc/loadavg: 0.99 0.93 0.58 2/106 28412
/proc/meminfo: memFree=1251320/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=468196 CPUtime=642.12
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 116368 0 0 0 63662 550 0 0 25 0 1 0 22854476 479432704 116245 1992294400 134512640 135751879 4294199408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 117049 116245 151 303 0 116744 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 468196

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 0.99 0.95 0.64 2/106 28425
/proc/meminfo: memFree=1159312/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=560312 CPUtime=822.05
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 139251 0 0 0 81539 666 0 0 25 0 1 0 22854476 573759488 139128 1992294400 134512640 135751879 4294199408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 140078 139128 151 303 0 139773 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 560312

[startup+882.301 s]
/proc/loadavg: 0.99 0.96 0.66 2/106 28427
/proc/meminfo: memFree=1132528/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=587192 CPUtime=882.03
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 145927 0 0 0 87504 699 0 0 25 0 1 0 22854476 601284608 145804 1992294400 134512640 135751879 4294199408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 146798 145804 151 303 0 146493 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 587192

[startup+942.3 s]
/proc/loadavg: 0.99 0.96 0.68 2/106 28429
/proc/meminfo: memFree=1105620/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=614284 CPUtime=942.01
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 152698 0 0 0 93466 735 0 0 25 0 1 0 22854476 629026816 152575 1992294400 134512640 135751879 4294199408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 153571 152575 151 303 0 153266 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 614284

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.69 2/106 28429
/proc/meminfo: memFree=1076356/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=643396 CPUtime=1001.99
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 159939 0 0 0 99427 772 0 0 25 0 1 0 22854476 658837504 159816 1992294400 134512640 135751879 4294199408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 160849 159816 151 303 0 160544 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 643396

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.71 2/106 28431
/proc/meminfo: memFree=1046596/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=673344 CPUtime=1061.98
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 167424 0 0 0 105386 812 0 0 25 0 1 0 22854476 689504256 167301 1992294400 134512640 135751879 4294199408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 168336 167301 151 303 0 168031 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 673344

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.73 2/106 28433
/proc/meminfo: memFree=1018820/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=701076 CPUtime=1121.96
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 174345 0 0 0 111348 848 0 0 25 0 1 0 22854476 717901824 174222 1992294400 134512640 135751879 4294199408 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 175269 174222 151 303 0 174964 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 701076

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.74 2/106 28435
/proc/meminfo: memFree=983728/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=736360 CPUtime=1181.94
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 183179 0 0 0 117303 891 0 0 25 0 1 0 22854476 754032640 183056 1992294400 134512640 135751879 4294199408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 184090 183056 151 303 0 183785 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 736360

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.75 2/106 28437
/proc/meminfo: memFree=956944/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=762552 CPUtime=1241.93
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 189708 0 0 0 123266 927 0 0 25 0 1 0 22854476 780853248 189585 1992294400 134512640 135751879 4294199408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 190638 189585 151 303 0 190333 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 762552

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/106 28437
/proc/meminfo: memFree=934252/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=785024 CPUtime=1301.92
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 195308 0 0 0 129231 961 0 0 25 0 1 0 22854476 803864576 195185 1992294400 134512640 135751879 4294199408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 196256 195185 151 303 0 195951 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 785024

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/106 28439
/proc/meminfo: memFree=913420/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=806144 CPUtime=1361.9
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 200593 0 0 0 135200 990 0 0 25 0 1 0 22854476 825491456 200470 1992294400 134512640 135751879 4294199408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 201536 200470 151 303 0 201231 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 806144

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.79 2/106 28441
/proc/meminfo: memFree=880932/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=838372 CPUtime=1421.88
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 208638 0 0 0 141160 1028 0 0 25 0 1 0 22854476 858492928 208515 1992294400 134512640 135751879 4294199408 18446744073709551615 134616332 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 209593 208515 151 303 0 209288 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 838372

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.80 2/106 28443
/proc/meminfo: memFree=854148/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=865512 CPUtime=1481.86
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 215415 0 0 0 147121 1065 0 0 25 0 1 0 22854476 886284288 215292 1992294400 134512640 135751879 4294199408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 216378 215292 151 303 0 216073 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 865512

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.81 2/106 28445
/proc/meminfo: memFree=830092/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=889232 CPUtime=1541.85
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 221342 0 0 0 153086 1099 0 0 25 0 1 0 22854476 910573568 221219 1992294400 134512640 135751879 4294199408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 222308 221219 151 303 0 222003 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 889232

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/106 28445
/proc/meminfo: memFree=809136/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=910240 CPUtime=1601.83
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 226572 0 0 0 159053 1130 0 0 25 0 1 0 22854476 932085760 226449 1992294400 134512640 135751879 4294199408 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 227560 226449 151 303 0 227255 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 910240

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.83 2/106 28447
/proc/meminfo: memFree=786940/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=932284 CPUtime=1661.81
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 232087 0 0 0 165019 1162 0 0 25 0 1 0 22854476 954658816 231964 1992294400 134512640 135751879 4294199408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 233071 231964 151 303 0 232766 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 932284

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.83 2/106 28449
/proc/meminfo: memFree=762636/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=956360 CPUtime=1721.8
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 238113 0 0 0 170983 1197 0 0 25 0 1 0 22854476 979312640 237990 1992294400 134512640 135751879 4294199408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 239090 237990 151 303 0 238785 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 956360

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.84 2/106 28451
/proc/meminfo: memFree=741060/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=977984 CPUtime=1781.78
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 243479 0 0 0 176950 1228 0 0 25 0 1 0 22854476 1001455616 243356 1992294400 134512640 135751879 4294199408 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 244496 243356 151 303 0 244191 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 977984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.84 2/106 28451
/proc/meminfo: memFree=733248/2059040 swapFree=4141140/4192956
[pid=28393] ppid=28391 vsize=985792 CPUtime=1800.09
/proc/28393/stat : 28393 (wbo1.4b) R 28391 28393 27786 0 -1 4202496 245412 0 0 0 178770 1239 0 0 25 0 1 0 22854476 1009451008 245289 1992294400 134512640 135751879 4294199408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28393/statm: 246448 245289 151 303 0 246143 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 985792

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.71
CPU time (s): 1800.19
CPU user time (s): 1787.7
CPU system time (s): 12.4851
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 985792

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

runsolver used 3.14352 second user time and 8.33873 second system time

The end

Launcher Data 

Begin job on node054 at 2010-07-08 01:47:58
IDJOB=2702094
IDBENCH=47982
IDSOLVER=1161
FILE ID=node054/2702094-1278546478
PBS_JOBID= 11239488
Free space on /tmp= 62440 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=257-P1=53-P2=163-P3=163-P4=251-P5=269-P6=479-P7=113-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-2702094-1278546478/watcher-2702094-1278546478 -o /tmp/evaluation-result-2702094-1278546478/solver-2702094-1278546478 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702094-1278546478.opb

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

MD5SUM BENCH= 61ecac306f245a9bac818667ce91a2bc
RANDOM SEED=1636847598

node054.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.239
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.47
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.239
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1717848 kB
Buffers:         54724 kB
Cached:         197880 kB
SwapCached:       6872 kB
Active:          99964 kB
Inactive:       167708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1717848 kB
SwapTotal:     4192956 kB
SwapFree:      4141140 kB
Dirty:            2928 kB
Writeback:           0 kB
AnonPages:       11632 kB
Mapped:          11960 kB
Slab:            51832 kB
PageTables:       4148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180348 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702094-1278546478.opb

Free space on /tmp at the end= 62436 MiB
End job on node054 at 2010-07-08 02:18:01