Trace number 1875555

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.16 1800.96

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_3.opb
MD5SUM37c74b9e914d30b1ddfc0838676dd479
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark663.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables41
Total number of constraints11
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 constraints10
Minimum length of a constraint1
Maximum length of a constraint40
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 1162
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3487
Number of bits of the biggest sum of numbers12
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-1875555-1245178329.opb.
0.00/0.00	c Instance file HOME/instance-1875555-1245178329.opb
0.00/0.00	c File size is 3364 bytes.
0.00/0.00	c Highest Coefficient sum: 3487
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:      41                                                  |
0.00/0.00	c |  Number Clauses:        2                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 10                                                  |
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 |      40       12      394 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       100 |      40       12      394 |     5500      100     28 |  2.500 % |
0.00/0.01	c |       250 |      40       12      394 |     6050      250     28 |  2.500 % |
0.00/0.02	c |       475 |      40       12      394 |     6655      475     28 |  2.500 % |
0.00/0.03	c |       813 |      40       12      394 |     7320      813     28 |  2.500 % |
0.00/0.06	c |      1320 |      40       12      394 |     8052     1320     28 |  2.500 % |
0.09/0.11	c |      2079 |      40       12      394 |     8857     2079     29 |  2.500 % |
0.09/0.18	c |      3218 |      40       12      394 |     9743     3218     29 |  2.500 % |
0.29/0.32	c |      4926 |      40       12      394 |    10717     4926     29 |  2.500 % |
0.49/0.54	c |      7488 |      40       12      394 |    11789     7488     29 |  2.500 % |
0.99/1.00	c |     11332 |      40       12      394 |    12968    11332     29 |  2.500 % |
1.69/1.77	c |     17099 |      40       12      394 |    14265    10604     29 |  2.500 % |
2.99/3.05	c |     25748 |      40       12      394 |    15692    12107     30 |  2.500 % |
5.09/5.13	c |     38723 |      40       12      394 |    17261     9364     29 |  2.500 % |
8.69/8.71	c |     58184 |      40       12      394 |    18987    11536     29 |  2.500 % |
14.48/14.58	c |     87377 |      40       12      394 |    20886    12207     30 |  2.500 % |
24.69/24.77	c |    131166 |      40       12      394 |    22974    14170     30 |  2.500 % |
40.07/40.10	c |    196851 |      40       12      394 |    25272    18556     30 |  2.500 % |
66.56/66.68	c |    295377 |      40       12      394 |    27799    15819     29 |  2.500 % |
113.74/113.85	c |    443166 |      40       12      394 |    30579    11511     30 |  2.500 % |
192.20/192.32	c |    664850 |      40       12      394 |    33637    17783     30 |  2.500 % |
326.45/326.69	c |    997375 |      40       12      394 |    37001    12127     30 |  2.500 % |
544.54/544.80	c |   1496164 |      40       12      394 |    40701    20515     30 |  2.500 % |
901.59/902.04	c |   2244346 |      40       12      394 |    44771    33202     30 |  2.500 % |
1499.12/1499.83	c |   3366621 |      40       12      394 |    49248    20108     30 |  2.500 % |

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-1875555-1245178329/watcher-1875555-1245178329 -o /tmp/evaluation-result-1875555-1245178329/solver-1875555-1245178329 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875555-1245178329.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.99 1.00 1.00 3/65 2541
/proc/meminfo: memFree=1841128/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=2392 CPUtime=0
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 189 0 0 0 0 0 0 0 18 0 1 0 185431607 2449408 172 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 598 172 134 292 0 303 0

[startup+0.10501 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 2541
/proc/meminfo: memFree=1841128/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=2912 CPUtime=0.09
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 324 0 0 0 9 0 0 0 18 0 1 0 185431607 2981888 307 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 728 307 135 292 0 433 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2912

[startup+0.202021 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 2541
/proc/meminfo: memFree=1841128/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=3304 CPUtime=0.19
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 421 0 0 0 19 0 0 0 18 0 1 0 185431607 3383296 404 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 826 404 135 292 0 531 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3304

[startup+0.301031 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 2541
/proc/meminfo: memFree=1841128/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=3696 CPUtime=0.29
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 510 0 0 0 29 0 0 0 19 0 1 0 185431607 3784704 493 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 924 493 135 292 0 629 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3696

[startup+0.701077 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 2541
/proc/meminfo: memFree=1841128/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=4888 CPUtime=0.69
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 794 0 0 0 68 1 0 0 23 0 1 0 185431607 5005312 777 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 1222 777 135 292 0 927 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4888

[startup+1.50117 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2542
/proc/meminfo: memFree=1837728/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=6448 CPUtime=1.49
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 1202 0 0 0 147 2 0 0 25 0 1 0 185431607 6602752 1185 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 1612 1185 135 292 0 1317 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6448

[startup+3.10135 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2542
/proc/meminfo: memFree=1835488/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=9456 CPUtime=3.09
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 1937 0 0 0 305 4 0 0 25 0 1 0 185431607 9682944 1920 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 2364 1920 135 292 0 2069 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9456

[startup+6.30171 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2542
/proc/meminfo: memFree=1829728/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=14544 CPUtime=6.29
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 3220 0 0 0 621 8 0 0 25 0 1 0 185431607 14893056 3203 1992294400 134512640 135709839 4294956240 18446744073709551615 134572576 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 3636 3203 135 292 0 3341 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14544

[startup+12.7014 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2542
/proc/meminfo: memFree=1821024/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=23108 CPUtime=12.69
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 5324 0 0 0 1256 13 0 0 25 0 1 0 185431607 23662592 5307 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 5777 5307 135 292 0 5482 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23108

[startup+25.5019 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2544
/proc/meminfo: memFree=1805792/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=37744 CPUtime=25.48
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 8990 0 0 0 2524 24 0 0 25 0 1 0 185431607 38649856 8973 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 9436 8973 135 292 0 9141 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37744

[startup+51.1018 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2544
/proc/meminfo: memFree=1781088/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=62692 CPUtime=51.07
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 15231 0 0 0 5062 45 0 0 25 0 1 0 185431607 64196608 15214 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 15673 15214 135 292 0 15378 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62692

[startup+102.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2544
/proc/meminfo: memFree=1736544/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=106568 CPUtime=102.24
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 26186 0 0 0 10144 80 0 0 25 0 1 0 185431607 109125632 26169 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 26642 26169 135 292 0 26347 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 106568

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2544
/proc/meminfo: memFree=1693792/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=149488 CPUtime=162.22
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 36920 0 0 0 16106 116 0 0 25 0 1 0 185431607 153075712 36903 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 37372 36903 135 292 0 37077 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 149488

[startup+222.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2544
/proc/meminfo: memFree=1653088/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=189868 CPUtime=222.19
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 47013 0 0 0 22068 151 0 0 25 0 1 0 185431607 194424832 46996 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 47467 46996 135 292 0 47172 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 189868

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2544
/proc/meminfo: memFree=1616928/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=226184 CPUtime=282.16
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 56074 0 0 0 28033 183 0 0 25 0 1 0 185431607 231612416 56057 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 56546 56057 135 292 0 56251 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 226184

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2544
/proc/meminfo: memFree=1578400/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=264396 CPUtime=342.14
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 65648 0 0 0 34001 213 0 0 25 0 1 0 185431607 270741504 65631 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 66099 65631 135 292 0 65804 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 264396

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2544
/proc/meminfo: memFree=1543456/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=299484 CPUtime=402.11
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 74400 0 0 0 39966 245 0 0 25 0 1 0 185431607 306671616 74383 1992294400 134512640 135709839 4294956240 18446744073709551615 134517610 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 74871 74383 135 292 0 74576 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 299484

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2544
/proc/meminfo: memFree=1511008/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=331616 CPUtime=462.09
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 82439 0 0 0 45938 271 0 0 25 0 1 0 185431607 339574784 82422 1992294400 134512640 135709839 4294956240 18446744073709551615 134568563 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 82904 82422 135 292 0 82609 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 331616

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2544
/proc/meminfo: memFree=1477664/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=365776 CPUtime=522.06
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 90967 0 0 0 51903 303 0 0 25 0 1 0 185431607 374554624 90950 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 91444 90950 135 292 0 91149 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 365776

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=1444256/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=398388 CPUtime=582.03
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 99108 0 0 0 57873 330 0 0 25 0 1 0 185431607 407949312 99091 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 99597 99091 135 292 0 99302 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 398388

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=1413152/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=430416 CPUtime=642
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 107109 0 0 0 63841 359 0 0 25 0 1 0 185431607 440745984 107092 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 107604 107092 135 292 0 107309 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 430416

[startup+702.302 s]

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

[startup+882.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=1285664/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=556568 CPUtime=881.9
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 138639 0 0 0 87713 477 0 0 25 0 1 0 185431607 569925632 138622 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 139142 138622 135 292 0 138847 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 556568

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=1257248/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=585216 CPUtime=941.86
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 145769 0 0 0 93685 501 0 0 25 0 1 0 185431607 599261184 145752 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 146304 145752 135 292 0 146009 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 585216

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=1227040/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=615280 CPUtime=1001.84
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 153289 0 0 0 99656 528 0 0 25 0 1 0 185431607 630046720 153272 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 153820 153272 135 292 0 153525 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 615280

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=1198496/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=643824 CPUtime=1061.82
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 160422 0 0 0 105629 553 0 0 25 0 1 0 185431607 659275776 160405 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 160956 160405 135 292 0 160661 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 643824

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=1168096/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=674100 CPUtime=1121.78
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 167994 0 0 0 111597 581 0 0 25 0 1 0 185431607 690278400 167977 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 168525 167977 135 292 0 168230 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 674100

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=1140640/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=701696 CPUtime=1181.76
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 174882 0 0 0 117568 608 0 0 25 0 1 0 185431607 718536704 174865 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 175424 174865 135 292 0 175129 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 701696

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=1109408/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=732764 CPUtime=1241.73
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 182650 0 0 0 123535 638 0 0 25 0 1 0 185431607 750350336 182633 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 183191 182633 135 292 0 182896 0
Current children cumulated CPU time (s) 1241.73
Current children cumulated vsize (KiB) 732764

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=1083232/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=758856 CPUtime=1301.7
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 189195 0 0 0 129507 663 0 0 25 0 1 0 185431607 777068544 189178 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 189714 189178 135 292 0 189419 0
Current children cumulated CPU time (s) 1301.7
Current children cumulated vsize (KiB) 758856

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=1056544/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=785192 CPUtime=1361.68
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 195773 0 0 0 135479 689 0 0 25 0 1 0 185431607 804036608 195756 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 196298 195756 135 292 0 196003 0
Current children cumulated CPU time (s) 1361.68
Current children cumulated vsize (KiB) 785192

[startup+1422.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=1028576/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=812968 CPUtime=1421.66
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 202719 0 0 0 141451 715 0 0 25 0 1 0 185431607 832479232 202702 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 203242 202702 135 292 0 202947 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 812968

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=1001376/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=840472 CPUtime=1481.63
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 209585 0 0 0 147422 741 0 0 25 0 1 0 185431607 860643328 209568 1992294400 134512640 135709839 4294956240 18446744073709551615 134573823 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 210118 209568 135 292 0 209823 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 840472

[startup+1542.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=978336/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=863188 CPUtime=1541.61
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 215256 0 0 0 153401 760 0 0 25 0 1 0 185431607 883904512 215239 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 215797 215239 135 292 0 215502 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 863188

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=952864/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=888868 CPUtime=1601.58
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 221669 0 0 0 159375 783 0 0 25 0 1 0 185431607 910200832 221652 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 222217 221652 135 292 0 221922 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 888868

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=926688/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=914852 CPUtime=1661.55
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 228181 0 0 0 165348 807 0 0 25 0 1 0 185431607 936808448 228164 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 228713 228164 135 292 0 228418 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 914852

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=902752/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=938936 CPUtime=1721.53
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 234171 0 0 0 171326 827 0 0 25 0 1 0 185431607 961470464 234154 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 234734 234154 135 292 0 234439 0
Current children cumulated CPU time (s) 1721.53
Current children cumulated vsize (KiB) 938936

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=877728/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=963588 CPUtime=1781.51
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 240342 0 0 0 177299 852 0 0 25 0 1 0 185431607 986714112 240325 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 240897 240325 135 292 0 240602 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 963588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=869728/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=971424 CPUtime=1800.01
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 242317 0 0 0 179142 859 0 0 25 0 1 0 185431607 994738176 242300 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 242856 242300 135 292 0 242561 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 971424

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

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

[startup+1800.91 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2550
/proc/meminfo: memFree=869728/2055920 swapFree=4192948/4192956
[pid=2541] ppid=2539 vsize=0 CPUtime=1800.1
/proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4195332 242317 0 0 0 179142 868 0 0 25 0 1 0 185431607 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/2541/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.96
CPU time (s): 1800.16
CPU user time (s): 1791.42
CPU system time (s): 8.73767
CPU usage (%): 99.9559
Max. virtual memory (cumulated for all children) (KiB): 971424

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

runsolver used 2.10168 second user time and 3.55446 second system time

The end

Launcher Data 

Begin job on node85 at 2009-06-16 20:52:10
IDJOB=1875555
IDBENCH=2931
IDSOLVER=698
FILE ID=node85/1875555-1245178329
PBS_JOBID= 9363922
Free space on /tmp= 126844 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_3.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-1875555-1245178329/watcher-1875555-1245178329 -o /tmp/evaluation-result-1875555-1245178329/solver-1875555-1245178329 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875555-1245178329.opb

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

MD5SUM BENCH= 37c74b9e914d30b1ddfc0838676dd479
RANDOM SEED=427528177

node85.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.213
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	: 5931.00
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.213
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1841672 kB
Buffers:         34648 kB
Cached:          97400 kB
SwapCached:          8 kB
Active:          43228 kB
Inactive:       102392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1841672 kB
SwapTotal:     4192956 kB
SwapFree:      4192948 kB
Dirty:            2380 kB
Writeback:           0 kB
Mapped:          23364 kB
Slab:            54612 kB
Committed_AS:    71220 kB
PageTables:       1376 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-1875555-1245178329.opb

Free space on /tmp at the end= 126844 MiB
End job on node85 at 2009-06-16 21:22:13