Trace number 1875548

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.28 1800.8

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_4.opb
MD5SUMcef055af6c2a22a549e672ed9a55f2c8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables51
Total number of constraints13
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint1
Maximum length of a constraint50
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1486
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4459
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875548-1245175837.opb.
0.00/0.00	c Instance file HOME/instance-1875548-1245175837.opb
0.00/0.00	c File size is 4881 bytes.
0.00/0.00	c Highest Coefficient sum: 4459
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      51                                                  |
0.00/0.00	c |  Number Clauses:        2                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 12                                                  |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      50       14      586 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       100 |      50       14      586 |     5500      100     37 |  2.000 % |
0.00/0.01	c |       250 |      50       14      586 |     6050      250     37 |  2.000 % |
0.00/0.02	c |       475 |      50       14      586 |     6655      475     37 |  2.000 % |
0.00/0.04	c |       813 |      50       14      586 |     7320      813     36 |  2.000 % |
0.00/0.08	c |      1320 |      50       14      586 |     8052     1320     35 |  2.000 % |
0.09/0.14	c |      2079 |      50       14      586 |     8857     2079     35 |  2.000 % |
0.19/0.22	c |      3218 |      50       14      586 |     9743     3218     35 |  2.000 % |
0.29/0.37	c |      4926 |      50       14      586 |    10717     4926     36 |  2.000 % |
0.59/0.62	c |      7488 |      50       14      586 |    11789     7488     36 |  2.000 % |
1.10/1.13	c |     11332 |      50       14      586 |    12968    11332     36 |  2.000 % |
1.79/1.88	c |     17098 |      50       14      586 |    14265    10596     37 |  2.000 % |
2.99/3.09	c |     25748 |      50       14      586 |    15692    12099     36 |  2.000 % |
4.99/5.07	c |     38722 |      50       14      586 |    17261     9347     37 |  2.000 % |
8.29/8.37	c |     58184 |      50       14      586 |    18987    11511     38 |  2.000 % |
13.89/13.94	c |     87377 |      50       14      586 |    20886    12175     37 |  2.000 % |
23.58/23.65	c |    131166 |      50       14      586 |    22974    14125     38 |  2.000 % |
38.38/38.50	c |    196852 |      50       14      586 |    25272    18482     37 |  2.000 % |
64.78/64.90	c |    295378 |      50       14      586 |    27799    15701     38 |  2.000 % |
106.66/106.79	c |    443167 |      50       14      586 |    30579    11359     38 |  2.000 % |
172.64/172.79	c |    664850 |      50       14      586 |    33637    17599     35 |  2.000 % |
290.61/290.79	c |    997375 |      50       14      586 |    37001    11865     37 |  2.000 % |
469.36/469.55	c |   1496163 |      50       14      586 |    40701    20096     37 |  2.000 % |
785.07/785.31	c |   2244346 |      50       14      586 |    44771    32636     38 |  2.000 % |
1317.51/1317.97	c |   3366620 |      50       14      586 |    49248    19388     38 |  2.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875548-1245175837/watcher-1875548-1245175837 -o /tmp/evaluation-result-1875548-1245175837/solver-1875548-1245175837 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875548-1245175837.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.91 0.95 0.97 3/64 3461
/proc/meminfo: memFree=1849456/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=2392 CPUtime=0
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 190 0 0 0 0 0 0 0 18 0 1 0 185184412 2449408 172 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 598 172 134 292 0 303 0

[startup+0.0068201 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 3461
/proc/meminfo: memFree=1849456/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=2392 CPUtime=0
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 185184412 2449408 176 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 598 176 134 292 0 303 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2392

[startup+0.101829 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 3461
/proc/meminfo: memFree=1849456/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=2912 CPUtime=0.09
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 311 0 0 0 9 0 0 0 18 0 1 0 185184412 2981888 293 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 728 293 135 292 0 433 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2912

[startup+0.301851 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 3461
/proc/meminfo: memFree=1849456/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=3696 CPUtime=0.29
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 507 0 0 0 29 0 0 0 19 0 1 0 185184412 3784704 489 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 924 489 135 292 0 629 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3696

[startup+0.701896 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 3461
/proc/meminfo: memFree=1849456/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=5052 CPUtime=0.69
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 826 0 0 0 68 1 0 0 22 0 1 0 185184412 5173248 808 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 1263 808 135 292 0 968 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5052

[startup+1.50198 s]
/proc/loadavg: 0.91 0.95 0.97 2/65 3462
/proc/meminfo: memFree=1846056/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=6748 CPUtime=1.48
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 1264 0 0 0 146 2 0 0 25 0 1 0 185184412 6909952 1246 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 1687 1246 135 292 0 1392 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6748

[startup+3.10116 s]
/proc/loadavg: 0.91 0.95 0.97 2/65 3462
/proc/meminfo: memFree=1843368/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=10276 CPUtime=3.09
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 2155 0 0 0 304 5 0 0 25 0 1 0 185184412 10522624 2137 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 2569 2137 135 292 0 2274 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10276

[startup+6.30152 s]
/proc/loadavg: 0.92 0.95 0.97 2/65 3462
/proc/meminfo: memFree=1836584/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=16420 CPUtime=6.29
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 3675 0 0 0 619 10 0 0 25 0 1 0 185184412 16814080 3657 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 4105 3657 135 292 0 3810 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16420

[startup+12.7012 s]
/proc/loadavg: 0.93 0.95 0.97 2/65 3462
/proc/meminfo: memFree=1825704/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=26892 CPUtime=12.68
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 6279 0 0 0 1252 16 0 0 25 0 1 0 185184412 27537408 6261 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 6723 6261 135 292 0 6428 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26892

[startup+25.5017 s]
/proc/loadavg: 0.94 0.96 0.97 2/65 3462
/proc/meminfo: memFree=1807592/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=44136 CPUtime=25.48
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 10601 0 0 0 2520 28 0 0 25 0 1 0 185184412 45195264 10583 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 11034 10583 135 292 0 10739 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44136

[startup+51.1015 s]
/proc/loadavg: 0.96 0.96 0.97 2/65 3462
/proc/meminfo: memFree=1776936/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=74900 CPUtime=51.07
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 18287 0 0 0 5054 53 0 0 25 0 1 0 185184412 76697600 18269 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 18725 18269 135 292 0 18430 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 74900

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.97 2/65 3462
/proc/meminfo: memFree=1723816/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=127824 CPUtime=102.27
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 31470 0 0 0 10132 95 0 0 25 0 1 0 185184412 130891776 31452 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 31956 31452 135 292 0 31661 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 127824

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=1665768/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=186196 CPUtime=162.25
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 46070 0 0 0 16081 144 0 0 25 0 1 0 185184412 190664704 46052 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 46549 46052 135 292 0 46254 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 186196

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=1614824/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=236608 CPUtime=222.22
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 58661 0 0 0 22035 187 0 0 25 0 1 0 185184412 242286592 58643 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 59152 58643 135 292 0 58857 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 236608

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=1565736/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=285832 CPUtime=282.21
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 70943 0 0 0 27996 225 0 0 25 0 1 0 185184412 292691968 70925 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 71458 70925 135 292 0 71163 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 285832

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=1515176/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=336104 CPUtime=342.19
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 83513 0 0 0 33955 264 0 0 25 0 1 0 185184412 344170496 83495 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 84026 83495 135 292 0 83731 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 336104

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=1470312/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=381028 CPUtime=402.17
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 94769 0 0 0 39915 302 0 0 25 0 1 0 185184412 390172672 94751 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 95257 94751 135 292 0 94962 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 381028

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=1421032/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=430104 CPUtime=462.16
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 107010 0 0 0 45873 343 0 0 25 0 1 0 185184412 440426496 106992 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 107526 106992 135 292 0 107231 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 430104

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=1382760/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=469036 CPUtime=522.14
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 116761 0 0 0 51838 376 0 0 25 0 1 0 185184412 480292864 116743 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 117259 116743 135 292 0 116964 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 469036

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=1342632/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=508256 CPUtime=582.13
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 126559 0 0 0 57799 414 0 0 25 0 1 0 185184412 520454144 126541 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 127064 126541 135 292 0 126769 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 508256

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=1299752/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=550788 CPUtime=642.1
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 137179 0 0 0 63764 446 0 0 25 0 1 0 185184412 564006912 137161 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 137697 137161 135 292 0 137402 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 550788

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=1139944/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=710300 CPUtime=882.03
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 177051 0 0 0 87621 582 0 0 25 0 1 0 185184412 727347200 177033 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 177575 177033 135 292 0 177280 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 710300

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=1102952/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=747584 CPUtime=942.02
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 186366 0 0 0 93587 615 0 0 25 0 1 0 185184412 765526016 186348 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 186896 186348 135 292 0 186601 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 747584

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=1063656/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=786424 CPUtime=1002
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 196094 0 0 0 99550 650 0 0 25 0 1 0 185184412 805298176 196076 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 196606 196076 135 292 0 196311 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 786424

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=1028136/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=822628 CPUtime=1061.99
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 205115 0 0 0 105517 682 0 0 25 0 1 0 185184412 842371072 205097 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 205657 205097 135 292 0 205362 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 822628

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=994280/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=855860 CPUtime=1121.96
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 213420 0 0 0 111486 710 0 0 25 0 1 0 185184412 876400640 213402 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 213965 213402 135 292 0 213670 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 855860

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=959848/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=890668 CPUtime=1181.95
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 222131 0 0 0 117458 737 0 0 25 0 1 0 185184412 912044032 222113 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 222667 222113 135 292 0 222372 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 890668

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=923560/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=926800 CPUtime=1241.93
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 231160 0 0 0 123425 768 0 0 25 0 1 0 185184412 949043200 231142 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 231700 231142 135 292 0 231405 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 926800

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=883112/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=966588 CPUtime=1301.92
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 241099 0 0 0 129387 805 0 0 25 0 1 0 185184412 989786112 241081 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 241647 241081 135 292 0 241352 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 966588

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=848104/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=1001812 CPUtime=1361.9
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 249914 0 0 0 135354 836 0 0 25 0 1 0 185184412 1025855488 249896 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 250453 249896 135 292 0 250158 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1001812

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=814504/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=1035080 CPUtime=1421.88
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 258220 0 0 0 141322 866 0 0 25 0 1 0 185184412 1059921920 258202 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 258770 258202 135 292 0 258475 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1035080

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=781416/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=1068284 CPUtime=1481.86
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 266526 0 0 0 147292 894 0 0 25 0 1 0 185184412 1093922816 266508 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 267071 266508 135 292 0 266776 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1068284

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=750120/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=1099388 CPUtime=1541.85
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 274295 0 0 0 153266 919 0 0 25 0 1 0 185184412 1125773312 274277 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 274847 274277 135 292 0 274552 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1099388

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=722472/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=1127064 CPUtime=1601.83
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 281208 0 0 0 159238 945 0 0 25 0 1 0 185184412 1154113536 281190 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 281766 281190 135 292 0 281471 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1127064

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=690728/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=1158620 CPUtime=1661.81
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 289104 0 0 0 165212 969 0 0 25 0 1 0 185184412 1186426880 289086 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 289655 289086 135 292 0 289360 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1158620

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=657576/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=1191800 CPUtime=1721.79
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 297389 0 0 0 171182 997 0 0 25 0 1 0 185184412 1220403200 297371 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 297950 297371 135 292 0 297655 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1191800

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=626728/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=1222488 CPUtime=1781.78
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 305086 0 0 0 177155 1023 0 0 25 0 1 0 185184412 1251827712 305068 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 305622 305068 135 292 0 305327 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1222488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=615976/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=1233068 CPUtime=1800.08
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4194304 307704 0 0 0 178975 1033 0 0 25 0 1 0 185184412 1262661632 307686 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 308267 307686 135 292 0 307972 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1233068

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3462
/proc/meminfo: memFree=615976/2055920 swapFree=4191900/4192956
[pid=3461] ppid=3459 vsize=0 CPUtime=1800.18
/proc/3461/stat : 3461 (wbo) R 3459 3461 3375 0 -1 4195332 307704 0 0 0 178975 1043 0 0 25 0 1 0 185184412 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.8
CPU time (s): 1800.28
CPU user time (s): 1789.75
CPU system time (s): 10.5274
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 1233068

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

runsolver used 1.18482 second user time and 3.86441 second system time

The end

Launcher Data 

Begin job on node9 at 2009-06-16 20:10:37
IDJOB=1875548
IDBENCH=2911
IDSOLVER=698
FILE ID=node9/1875548-1245175837
PBS_JOBID= 9363915
Free space on /tmp= 66160 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_4.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875548-1245175837/watcher-1875548-1245175837 -o /tmp/evaluation-result-1875548-1245175837/solver-1875548-1245175837 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875548-1245175837.opb

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

MD5SUM BENCH= cef055af6c2a22a549e672ed9a55f2c8
RANDOM SEED=292007339

node9.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.231
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.231
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1849936 kB
Buffers:         44300 kB
Cached:          95860 kB
SwapCached:        260 kB
Active:          42916 kB
Inactive:       109916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1849936 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2380 kB
Writeback:           0 kB
Mapped:          21936 kB
Slab:            39184 kB
Committed_AS:   160176 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875548-1245175837.opb

Free space on /tmp at the end= 66160 MiB
End job on node9 at 2009-06-16 20:40:40