Trace number 1875554

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.24 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_1.opb
MD5SUMc7543821508efc06c2ce41424051ab2c
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 variables71
Total number of constraints17
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 constraints16
Minimum length of a constraint1
Maximum length of a constraint70
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 1884
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5652
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-1875554-1245178270.opb.
0.00/0.00	c Instance file HOME/instance-1875554-1245178270.opb
0.00/0.00	c File size is 9033 bytes.
0.00/0.00	c Highest Coefficient sum: 5652
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:      71                                                  |
0.00/0.00	c |  Number Clauses:        2                                                   |
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       18     1108 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       100 |      70       18     1108 |     5500      100     52 |  1.429 % |
0.00/0.02	c |       250 |      70       18     1108 |     6050      250     54 |  1.429 % |
0.00/0.04	c |       476 |      70       18     1108 |     6655      476     55 |  1.429 % |
0.00/0.08	c |       813 |      70       18     1108 |     7320      813     55 |  1.429 % |
0.09/0.13	c |      1320 |      70       18     1108 |     8052     1320     56 |  1.429 % |
0.19/0.21	c |      2080 |      70       18     1108 |     8857     2080     56 |  1.429 % |
0.29/0.33	c |      3220 |      70       18     1108 |     9743     3220     56 |  1.429 % |
0.49/0.54	c |      4928 |      70       18     1108 |    10717     4928     56 |  1.429 % |
0.89/0.92	c |      7490 |      70       18     1108 |    11789     7490     55 |  1.429 % |
1.59/1.61	c |     11335 |      70       18     1108 |    12968    11335     56 |  1.429 % |
2.59/2.67	c |     17101 |      70       18     1108 |    14265    10589     56 |  1.429 % |
4.29/4.32	c |     25750 |      70       18     1108 |    15692    12075     56 |  1.429 % |
6.89/6.90	c |     38724 |      70       18     1108 |    17261     9305     56 |  1.429 % |
11.09/11.13	c |     58185 |      70       18     1108 |    18987    11447     56 |  1.429 % |
17.59/17.66	c |     87377 |      70       18     1108 |    20886    12089     55 |  1.429 % |
29.08/29.12	c |    131166 |      70       18     1108 |    22974    14000     56 |  1.429 % |
49.27/49.32	c |    196850 |      70       18     1108 |    25272    18354     54 |  1.429 % |
81.66/81.78	c |    295376 |      70       18     1108 |    27799    15531     56 |  1.429 % |
133.75/133.89	c |    443165 |      70       18     1108 |    30579    11073     56 |  1.429 % |
216.82/216.91	c |    664848 |      70       18     1108 |    33637    17121     57 |  1.429 % |
348.90/349.02	c |    997374 |      70       18     1108 |    37001    11216     57 |  1.429 % |
548.04/548.27	c |   1496164 |      70       18     1108 |    40701    19287     57 |  1.429 % |
936.63/936.92	c |   2244347 |      70       18     1108 |    44771    31537     58 |  1.429 % |
1547.17/1547.66	c |   3366621 |      70       18     1108 |    49248    17813     57 |  1.429 % |

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-1875554-1245178270/watcher-1875554-1245178270 -o /tmp/evaluation-result-1875554-1245178270/solver-1875554-1245178270 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875554-1245178270.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 11023
/proc/meminfo: memFree=1855600/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=2392 CPUtime=0
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 195 0 0 0 0 0 0 0 18 0 1 0 185423145 2449408 176 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 598 176 134 292 0 303 0

[startup+0.097737 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11023
/proc/meminfo: memFree=1855600/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=2784 CPUtime=0.09
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 296 0 0 0 9 0 0 0 18 0 1 0 185423145 2850816 277 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 696 277 135 292 0 401 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2784

[startup+0.101737 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11023
/proc/meminfo: memFree=1855600/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=2916 CPUtime=0.09
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 300 0 0 0 9 0 0 0 18 0 1 0 185423145 2985984 281 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 729 281 135 292 0 434 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2916

[startup+0.301755 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11023
/proc/meminfo: memFree=1855600/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=3560 CPUtime=0.29
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 489 0 0 0 29 0 0 0 19 0 1 0 185423145 3645440 470 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 890 470 135 292 0 595 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3560

[startup+0.701789 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11023
/proc/meminfo: memFree=1855600/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=4860 CPUtime=0.69
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 795 0 0 0 68 1 0 0 22 0 1 0 185423145 4976640 776 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 1215 776 135 292 0 920 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4860

[startup+1.50186 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11024
/proc/meminfo: memFree=1852200/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=6732 CPUtime=1.49
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 1275 0 0 0 148 1 0 0 25 0 1 0 185423145 6893568 1256 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 1683 1256 135 292 0 1388 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6732

[startup+3.102 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11024
/proc/meminfo: memFree=1849768/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=10156 CPUtime=3.09
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 2130 0 0 0 306 3 0 0 25 0 1 0 185423145 10399744 2111 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 2539 2111 135 292 0 2244 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10156

[startup+6.30228 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11024
/proc/meminfo: memFree=1842984/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=16396 CPUtime=6.29
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 3696 0 0 0 622 7 0 0 25 0 1 0 185423145 16789504 3677 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 4099 3677 135 292 0 3804 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16396

[startup+12.7018 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11024
/proc/meminfo: memFree=1830768/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=27868 CPUtime=12.68
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 6550 0 0 0 1256 12 0 0 25 0 1 0 185423145 28536832 6531 1992294400 134512640 135709839 4294956240 18446744073709551615 134568276 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 6967 6531 135 292 0 6672 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27868

[startup+25.502 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11024
/proc/meminfo: memFree=1810480/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=47320 CPUtime=25.49
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 11401 0 0 0 2524 25 0 0 25 0 1 0 185423145 48455680 11382 1992294400 134512640 135709839 4294956240 18446744073709551615 134568276 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 11830 11382 135 292 0 11535 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47320

[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11024
/proc/meminfo: memFree=1778864/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=79268 CPUtime=51.07
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 19389 0 0 0 5059 48 0 0 25 0 1 0 185423145 81170432 19370 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 19817 19370 135 292 0 19522 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 79268

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11026
/proc/meminfo: memFree=1720688/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=136852 CPUtime=102.27
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 33754 0 0 0 10140 87 0 0 25 0 1 0 185423145 140136448 33735 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 34213 33735 135 292 0 33918 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 136852

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11026
/proc/meminfo: memFree=1658736/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=199052 CPUtime=162.24
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 49305 0 0 0 16096 128 0 0 25 0 1 0 185423145 203829248 49286 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 49763 49286 135 292 0 49468 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 199052

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11026
/proc/meminfo: memFree=1598128/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=259160 CPUtime=222.23
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 64332 0 0 0 22056 167 0 0 25 0 1 0 185423145 265379840 64313 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 64790 64313 135 292 0 64495 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 259160

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11026
/proc/meminfo: memFree=1543152/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=315004 CPUtime=282.21
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 78257 0 0 0 28013 208 0 0 25 0 1 0 185423145 322564096 78238 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 78751 78238 135 292 0 78456 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 315004

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11026
/proc/meminfo: memFree=1484016/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=373268 CPUtime=342.19
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 92833 0 0 0 33970 249 0 0 25 0 1 0 185423145 382226432 92814 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 93317 92814 135 292 0 93022 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 373268

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11026
/proc/meminfo: memFree=1427184/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=430788 CPUtime=402.18
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 107196 0 0 0 39930 288 0 0 25 0 1 0 185423145 441126912 107177 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 107697 107177 135 292 0 107402 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 430788

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11026
/proc/meminfo: memFree=1370096/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=487172 CPUtime=462.16
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 121293 0 0 0 45888 328 0 0 25 0 1 0 185423145 498864128 121274 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 121793 121274 135 292 0 121498 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 487172

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11026
/proc/meminfo: memFree=1316912/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=540520 CPUtime=522.15
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 134613 0 0 0 51849 366 0 0 25 0 1 0 185423145 553492480 134594 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 135130 134594 135 292 0 134835 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 540520

[startup+582.302 s]
/proc/loadavg: 1.06 0.99 0.99 2/65 11026
/proc/meminfo: memFree=1266992/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=589984 CPUtime=582.13
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 146973 0 0 0 57812 401 0 0 25 0 1 0 185423145 604143616 146954 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 147496 146954 135 292 0 147201 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 589984

[startup+642.301 s]
/proc/loadavg: 1.16 1.02 1.01 2/65 11032
/proc/meminfo: memFree=1224304/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=632116 CPUtime=642.11
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 157515 0 0 0 63777 434 0 0 25 0 1 0 185423145 647286784 157496 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 158029 157496 135 292 0 157734 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 632116

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11032
/proc/meminfo: memFree=1008880/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=847228 CPUtime=942.02
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 211301 0 0 0 93610 592 0 0 25 0 1 0 185423145 867561472 211282 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 211807 211282 135 292 0 211512 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 847228

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11032
/proc/meminfo: memFree=969904/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=886004 CPUtime=1002.01
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 220965 0 0 0 99582 619 0 0 25 0 1 0 185423145 907268096 220946 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 221501 220946 135 292 0 221206 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 886004

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11032
/proc/meminfo: memFree=932912/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=923020 CPUtime=1062
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 230236 0 0 0 105550 650 0 0 25 0 1 0 185423145 945172480 230217 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 230755 230217 135 292 0 230460 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 923020

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11032
/proc/meminfo: memFree=894320/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=961436 CPUtime=1121.98
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 239822 0 0 0 111518 680 0 0 25 0 1 0 185423145 984510464 239803 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 240359 239803 135 292 0 240064 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 961436

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11032
/proc/meminfo: memFree=857392/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=998444 CPUtime=1181.97
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 249078 0 0 0 117489 708 0 0 25 0 1 0 185423145 1022406656 249059 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 249611 249059 135 292 0 249316 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 998444

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11032
/proc/meminfo: memFree=812912/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=1042960 CPUtime=1241.95
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 260193 0 0 0 123454 741 0 0 25 0 1 0 185423145 1067991040 260174 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 260740 260174 135 292 0 260445 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1042960

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11032
/proc/meminfo: memFree=771568/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=1083676 CPUtime=1301.93
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 270395 0 0 0 129424 769 0 0 25 0 1 0 185423145 1109684224 270376 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 270919 270376 135 292 0 270624 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1083676

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11032
/proc/meminfo: memFree=732272/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=1123832 CPUtime=1361.92
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 280426 0 0 0 135392 800 0 0 25 0 1 0 185423145 1150803968 280407 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 280958 280407 135 292 0 280663 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1123832

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11032
/proc/meminfo: memFree=685360/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=1169728 CPUtime=1421.9
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 291891 0 0 0 141357 833 0 0 25 0 1 0 185423145 1197801472 291872 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 292432 291872 135 292 0 292137 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1169728

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11032
/proc/meminfo: memFree=641520/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=1214040 CPUtime=1481.89
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 302965 0 0 0 147321 868 0 0 25 0 1 0 185423145 1243176960 302946 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 303510 302946 135 292 0 303215 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1214040

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11032
/proc/meminfo: memFree=599600/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=1255404 CPUtime=1541.86
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 313287 0 0 0 153287 899 0 0 25 0 1 0 185423145 1285533696 313268 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 313851 313268 135 292 0 313556 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1255404

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11032
/proc/meminfo: memFree=558768/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=1296340 CPUtime=1601.85
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 323547 0 0 0 159255 930 0 0 25 0 1 0 185423145 1327452160 323528 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 324085 323528 135 292 0 323790 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1296340

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11032
/proc/meminfo: memFree=517232/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=1337532 CPUtime=1661.84
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 333839 0 0 0 165220 964 0 0 25 0 1 0 185423145 1369632768 333820 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 334383 333820 135 292 0 334088 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1337532

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11032
/proc/meminfo: memFree=478640/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=1376288 CPUtime=1721.82
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 343525 0 0 0 171188 994 0 0 25 0 1 0 185423145 1409318912 343506 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 344072 343506 135 292 0 343777 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1376288

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11032
/proc/meminfo: memFree=441904/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=1413004 CPUtime=1781.8
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 352698 0 0 0 177156 1024 0 0 25 0 1 0 185423145 1446916096 352679 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 353251 352679 135 292 0 352956 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1413004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11032
/proc/meminfo: memFree=430832/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=1423552 CPUtime=1800
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4194304 355336 0 0 0 178968 1032 0 0 25 0 1 0 185423145 1457717248 355317 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 355888 355317 135 292 0 355593 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1423552

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11033
/proc/meminfo: memFree=1037800/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=0 CPUtime=1800.11
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4195332 355336 0 0 0 178968 1043 0 0 25 0 1 0 185423145 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11033
/proc/meminfo: memFree=1037800/2055920 swapFree=4182220/4192956
[pid=11023] ppid=11021 vsize=0 CPUtime=1800.2
/proc/11023/stat : 11023 (wbo) R 11021 11023 10952 0 -1 4195332 355336 0 0 0 178968 1052 0 0 25 0 1 0 185423145 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/11023/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.73
CPU time (s): 1800.24
CPU user time (s): 1789.69
CPU system time (s): 10.5514
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1423552

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

runsolver used 1.34479 second user time and 3.9564 second system time

The end

Launcher Data 

Begin job on node50 at 2009-06-16 20:51:10
IDJOB=1875554
IDBENCH=2930
IDSOLVER=698
FILE ID=node50/1875554-1245178270
PBS_JOBID= 9368273
Free space on /tmp= 66424 MiB

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

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

MD5SUM BENCH= c7543821508efc06c2ce41424051ab2c
RANDOM SEED=1952463933

node50.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.211
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.211
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:       1856088 kB
Buffers:         19072 kB
Cached:         106772 kB
SwapCached:       4580 kB
Active:          24992 kB
Inactive:       108228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1856088 kB
SwapTotal:     4192956 kB
SwapFree:      4182220 kB
Dirty:            2388 kB
Writeback:           0 kB
Mapped:          13440 kB
Slab:            52536 kB
Committed_AS:   109012 kB
PageTables:       1452 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-1875554-1245178270.opb

Free space on /tmp at the end= 66424 MiB
End job on node50 at 2009-06-16 21:21:13