Trace number 1875768

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.36 1800.98

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
MD5SUM0278ee4f163393ac33163ff791a7f96d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark1802.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint82
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5856
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-1875768-1245175912.opb.
0.00/0.00	c Instance file HOME/instance-1875768-1245175912.opb
0.00/0.00	c File size is 13159 bytes.
0.00/0.00	c Highest Coefficient sum: 5856
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:      198                                                 |
0.00/0.00	c |  Number Clauses:        128                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 16                                                  |
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 |      70      144     1354 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       101 |      70      144     1354 |     5500      101     82 | 64.649 % |
0.00/0.03	c |       251 |      70      144     1354 |     6050      251     83 | 64.649 % |
0.03/0.06	c |       476 |      70      144     1354 |     6655      476     82 | 64.649 % |
0.03/0.09	c |       814 |      70      144     1354 |     7320      814     80 | 64.649 % |
0.09/0.15	c |      1320 |      70      144     1354 |     8052     1320     79 | 64.649 % |
0.19/0.24	c |      2079 |      70      144     1354 |     8857     2079     79 | 64.649 % |
0.29/0.38	c |      3218 |      70      144     1354 |     9743     3218     78 | 64.649 % |
0.59/0.60	c |      4926 |      70      144     1354 |    10717     4926     79 | 64.649 % |
0.89/0.99	c |      7488 |      70      144     1354 |    11789     7488     83 | 64.649 % |
1.69/1.72	c |     11332 |      70      144     1354 |    12968    11332     85 | 64.649 % |
2.89/2.99	c |     17098 |      70      144     1354 |    14265    10521     90 | 64.649 % |
4.99/5.04	c |     25749 |      70      144     1354 |    15692    11945     89 | 64.649 % |
7.88/7.93	c |     38723 |      70      144     1354 |    17261     9046     85 | 64.649 % |
12.98/13.01	c |     58184 |      70      144     1354 |    18987    11074     90 | 64.649 % |
21.09/21.12	c |     87376 |      70      144     1354 |    20886    11518     91 | 64.649 % |
35.28/35.38	c |    131165 |      70      144     1354 |    22974    13187     91 | 64.649 % |
55.77/55.86	c |    196849 |      70      144     1354 |    25272    16843     85 | 64.649 % |
88.46/88.52	c |    295375 |      70      144     1354 |    27799    13122     85 | 64.649 % |
147.25/147.31	c |    443164 |      70      144     1354 |    30579    24596     90 | 64.649 % |
241.00/241.10	c |    664849 |      70      144     1354 |    33637    29301     92 | 64.649 % |
406.45/406.65	c |    997374 |      70      144     1354 |    37001    21506     94 | 64.649 % |
661.96/662.20	c |   1496162 |      70      144     1354 |    40701    27162     89 | 64.649 % |
1044.63/1045.02	c |   2244344 |      70      144     1354 |    44771    36342     90 | 64.649 % |
1703.21/1703.85	c |   3366618 |      70      144     1354 |    49248    18595     87 | 64.649 % |

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-1875768-1245175912/watcher-1875768-1245175912 -o /tmp/evaluation-result-1875768-1245175912/solver-1875768-1245175912 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875768-1245175912.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 0.97 0.99 3/64 3884
/proc/meminfo: memFree=1847432/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=2524 CPUtime=0
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 205 0 0 0 0 0 0 0 18 0 1 0 185192139 2584576 185 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 631 185 134 292 0 336 0

[startup+0.0388649 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 3884
/proc/meminfo: memFree=1847432/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=2656 CPUtime=0.03
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 243 0 0 0 3 0 0 0 18 0 1 0 185192139 2719744 223 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 664 223 135 292 0 369 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2656

[startup+0.101877 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 3884
/proc/meminfo: memFree=1847432/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=2920 CPUtime=0.09
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 314 0 0 0 9 0 0 0 18 0 1 0 185192139 2990080 294 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 730 294 135 292 0 435 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2920

[startup+0.301915 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 3884
/proc/meminfo: memFree=1847432/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=3696 CPUtime=0.29
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 521 0 0 0 29 0 0 0 19 0 1 0 185192139 3784704 501 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 924 501 135 292 0 629 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3696

[startup+0.701993 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 3884
/proc/meminfo: memFree=1847432/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=5284 CPUtime=0.69
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 912 0 0 0 69 0 0 0 22 0 1 0 185192139 5410816 892 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 1321 892 135 292 0 1026 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5284

[startup+1.50114 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=1843328/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=7768 CPUtime=1.49
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 1534 0 0 0 147 2 0 0 25 0 1 0 185192139 7954432 1514 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 1942 1514 135 292 0 1647 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7768

[startup+3.10145 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=1840192/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=11692 CPUtime=3.09
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 2503 0 0 0 306 3 0 0 25 0 1 0 185192139 11972608 2483 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 2923 2483 135 292 0 2628 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11692

[startup+6.30106 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=1832576/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=19120 CPUtime=6.29
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 4351 0 0 0 623 6 0 0 25 0 1 0 185192139 19578880 4331 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 4780 4331 135 292 0 4485 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19120

[startup+12.7023 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=1818432/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=32076 CPUtime=12.69
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 7605 0 0 0 1257 12 0 0 25 0 1 0 185192139 32845824 7585 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 8019 7585 135 292 0 7724 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32076

[startup+25.5017 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=1794944/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=54940 CPUtime=25.48
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 13326 0 0 0 2525 23 0 0 25 0 1 0 185192139 56258560 13306 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 13735 13307 135 292 0 13440 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54940

[startup+51.1017 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=1754816/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=95612 CPUtime=51.07
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 23472 0 0 0 5065 42 0 0 25 0 1 0 185192139 97906688 23452 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 23903 23452 135 292 0 23608 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 95612

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=1679872/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=169588 CPUtime=102.26
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 41942 0 0 0 10146 80 0 0 25 0 1 0 185192139 173658112 41922 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 42397 41922 135 292 0 42102 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 169588

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=1605632/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=244544 CPUtime=162.24
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 60668 0 0 0 16103 121 0 0 25 0 1 0 185192139 250413056 60648 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 61136 60648 135 292 0 60841 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 244544

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=1532096/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=317100 CPUtime=222.21
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 78811 0 0 0 22056 165 0 0 25 0 1 0 185192139 324710400 78791 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 79275 78791 135 292 0 78980 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 317100

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=1466048/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=383760 CPUtime=282.19
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 95484 0 0 0 28017 202 0 0 25 0 1 0 185192139 392970240 95464 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 95940 95464 135 292 0 95645 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 383760

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=1402624/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=446296 CPUtime=342.17
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 111109 0 0 0 33978 239 0 0 25 0 1 0 185192139 457007104 111089 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 111574 111089 135 292 0 111279 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 446296

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=1341184/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=507980 CPUtime=402.16
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 126523 0 0 0 39944 272 0 0 25 0 1 0 185192139 520171520 126503 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 126995 126503 135 292 0 126700 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 507980

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=1280832/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=568156 CPUtime=462.13
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 141540 0 0 0 45908 305 0 0 25 0 1 0 185192139 581791744 141520 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 142039 141521 135 292 0 141744 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 568156

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=1221696/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=627340 CPUtime=522.11
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 156337 0 0 0 51875 336 0 0 25 0 1 0 185192139 642396160 156317 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 156835 156317 135 292 0 156540 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 627340

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=1159168/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=689484 CPUtime=582.09
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 171887 0 0 0 57834 375 0 0 25 0 1 0 185192139 706031616 171867 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 172371 171867 135 292 0 172076 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 689484

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=1101376/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=746768 CPUtime=642.08
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 186190 0 0 0 63798 410 0 0 25 0 1 0 185192139 764690432 186170 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 186692 186170 135 292 0 186397 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 746768

[startup+702.302 s]

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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=807360/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=1041564 CPUtime=941.97
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 259869 0 0 0 93614 583 0 0 25 0 1 0 185192139 1066561536 259849 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 260391 259849 135 292 0 260096 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 1041564

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=747840/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=1100200 CPUtime=1001.95
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 274516 0 0 0 99579 616 0 0 25 0 1 0 185192139 1126604800 274496 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 275050 274496 135 292 0 274755 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 1100200

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=691008/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=1157056 CPUtime=1061.92
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 288717 0 0 0 105544 648 0 0 25 0 1 0 185192139 1184825344 288697 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 289264 288697 135 292 0 288969 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1157056

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=638656/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=1208868 CPUtime=1121.9
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 301675 0 0 0 111510 680 0 0 25 0 1 0 185192139 1237880832 301655 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 302217 301655 135 292 0 301922 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 1208868

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=591808/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=1256076 CPUtime=1181.88
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 313485 0 0 0 117478 710 0 0 25 0 1 0 185192139 1286221824 313465 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 314019 313465 135 292 0 313724 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1256076

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=539584/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=1307884 CPUtime=1241.86
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 326412 0 0 0 123444 742 0 0 25 0 1 0 185192139 1339273216 326392 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 326971 326392 135 292 0 326676 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1307884

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=488192/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=1358692 CPUtime=1301.84
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 339140 0 0 0 129411 773 0 0 25 0 1 0 185192139 1391300608 339120 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 339673 339120 135 292 0 339378 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1358692

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=436096/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=1411064 CPUtime=1361.82
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 352215 0 0 0 135378 804 0 0 25 0 1 0 185192139 1444929536 352195 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 352766 352195 135 292 0 352471 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1411064

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=384000/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=1462832 CPUtime=1421.8
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 365157 0 0 0 141345 835 0 0 25 0 1 0 185192139 1497939968 365137 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 365708 365137 135 292 0 365413 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1462832

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=333312/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=1513788 CPUtime=1481.78
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 377890 0 0 0 147313 865 0 0 25 0 1 0 185192139 1550118912 377870 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 378447 377870 135 292 0 378152 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1513788

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=278272/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=1568420 CPUtime=1541.76
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 391563 0 0 0 153278 898 0 0 25 0 1 0 185192139 1606062080 391543 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 392105 391543 135 292 0 391810 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1568420

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=229120/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=1618548 CPUtime=1601.74
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 404076 0 0 0 159246 928 0 0 25 0 1 0 185192139 1657393152 404056 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 404637 404056 135 292 0 404342 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1618548

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=179648/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=1667196 CPUtime=1661.72
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 416248 0 0 0 165215 957 0 0 25 0 1 0 185192139 1707208704 416228 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 416799 416228 135 292 0 416504 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1667196

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=127744/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=1718812 CPUtime=1721.69
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 429149 0 0 0 171184 985 0 0 25 0 1 0 185192139 1760063488 429129 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 429703 429129 135 292 0 429408 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1718812

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=78976/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=1767476 CPUtime=1781.68
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 441314 0 0 0 177154 1014 0 0 25 0 1 0 185192139 1809895424 441294 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 441869 441294 135 292 0 441574 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 1767476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=67840/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=1778120 CPUtime=1800.08
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 443972 0 0 0 178986 1022 0 0 25 0 1 0 185192139 1820794880 443952 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 444530 443952 135 292 0 444235 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1778120

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=67840/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=0 CPUtime=1800.18
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4195332 443972 0 0 0 178986 1032 0 0 25 0 1 0 185192139 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3885
/proc/meminfo: memFree=67840/2055920 swapFree=4183064/4192956
[pid=3884] ppid=3882 vsize=0 CPUtime=1800.27
/proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4195332 443972 0 0 0 178986 1041 0 0 25 0 1 0 185192139 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/3884/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.98
CPU time (s): 1800.36
CPU user time (s): 1789.87
CPU system time (s): 10.4974
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 1778120

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

runsolver used 1.25581 second user time and 3.84941 second system time

The end

Launcher Data 

Begin job on node5 at 2009-06-16 20:11:52
IDJOB=1875768
IDBENCH=2912
IDSOLVER=698
FILE ID=node5/1875768-1245175912
PBS_JOBID= 9363916
Free space on /tmp= 66256 MiB

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

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

MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d
RANDOM SEED=2069419903

node5.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.259
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.259
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:       1847912 kB
Buffers:         47052 kB
Cached:          81592 kB
SwapCached:       3684 kB
Active:          47096 kB
Inactive:        89384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1847912 kB
SwapTotal:     4192956 kB
SwapFree:      4183064 kB
Dirty:            2392 kB
Writeback:           0 kB
Mapped:          14600 kB
Slab:            57584 kB
Committed_AS:   152188 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-1875768-1245175912.opb

Free space on /tmp at the end= 66256 MiB
End job on node5 at 2009-06-16 20:41:55