Trace number 1875775

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.31 1801.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_3.opb
MD5SUM474916db0f2f0be5831d97827cee8e55
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark1802.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
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 constraints14
Minimum length of a constraint75
Maximum length of a constraint76
Number of terms in the objective function 112
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 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1901
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6214
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-1875775-1245178377.opb.
0.00/0.00	c Instance file HOME/instance-1875775-1245178377.opb
0.00/0.00	c File size is 10386 bytes.
0.00/0.00	c Highest Coefficient sum: 6214
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:      172                                                 |
0.00/0.00	c |  Number Clauses:        112                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 14                                                  |
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 |      60      126     1060 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       100 |      60      126     1060 |     5500      100     67 | 65.120 % |
0.00/0.02	c |       251 |      60      126     1060 |     6050      251     72 | 65.120 % |
0.03/0.04	c |       476 |      60      126     1060 |     6655      476     72 | 65.120 % |
0.03/0.08	c |       813 |      60      126     1060 |     7320      813     71 | 65.120 % |
0.09/0.13	c |      1319 |      60      126     1060 |     8052     1319     71 | 65.120 % |
0.19/0.21	c |      2078 |      60      126     1060 |     8857     2078     71 | 65.120 % |
0.29/0.33	c |      3219 |      60      126     1060 |     9743     3219     73 | 65.120 % |
0.49/0.54	c |      4927 |      60      126     1060 |    10717     4927     72 | 65.120 % |
0.80/0.89	c |      7489 |      60      126     1060 |    11789     7489     72 | 65.120 % |
1.49/1.52	c |     11334 |      60      126     1060 |    12968    11334     73 | 65.120 % |
2.49/2.57	c |     17100 |      60      126     1060 |    14265    10537     75 | 65.120 % |
4.29/4.34	c |     25749 |      60      126     1060 |    15692    11982     78 | 65.120 % |
7.19/7.27	c |     38723 |      60      126     1060 |    17261     9113     77 | 65.120 % |
11.59/11.63	c |     58185 |      60      126     1060 |    18987    11156     73 | 65.120 % |
18.89/18.93	c |     87377 |      60      126     1060 |    20886    11635     75 | 65.120 % |
30.58/30.68	c |    131167 |      60      126     1060 |    22974    13345     75 | 65.120 % |
49.07/49.14	c |    196851 |      60      126     1060 |    25272    17112     75 | 65.120 % |
79.96/80.04	c |    295377 |      60      126     1060 |    27799    13511     78 | 65.120 % |
129.44/129.52	c |    443166 |      60      126     1060 |    30579    25155     76 | 65.120 % |
203.11/203.22	c |    664849 |      60      126     1060 |    33637    30140     74 | 65.120 % |
342.15/342.33	c |    997376 |      60      126     1060 |    37001    22683     81 | 65.120 % |
573.05/573.38	c |   1496165 |      60      126     1060 |    40701    28679     83 | 65.120 % |
964.29/964.73	c |   2244348 |      60      126     1060 |    44771    38331     82 | 65.120 % |
1603.13/1603.87	c |   3366622 |      60      126     1060 |    49248    21109     80 | 65.120 % |

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-1875775-1245178377/watcher-1875775-1245178377 -o /tmp/evaluation-result-1875775-1245178377/solver-1875775-1245178377 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875775-1245178377.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: 1.00 1.02 1.00 3/64 3959
/proc/meminfo: memFree=1886888/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=2524 CPUtime=0
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 201 0 0 0 0 0 0 0 18 0 1 0 185437826 2584576 182 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 631 182 134 292 0 336 0

[startup+0.0387509 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 3959
/proc/meminfo: memFree=1886888/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=2652 CPUtime=0.03
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 247 0 0 0 3 0 0 0 18 0 1 0 185437826 2715648 228 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 663 228 135 292 0 368 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2652

[startup+0.101757 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 3959
/proc/meminfo: memFree=1886888/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=2908 CPUtime=0.09
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 322 0 0 0 9 0 0 0 18 0 1 0 185437826 2977792 303 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 727 303 135 292 0 432 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2908

[startup+0.301778 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 3959
/proc/meminfo: memFree=1886888/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=3828 CPUtime=0.29
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 551 0 0 0 29 0 0 0 19 0 1 0 185437826 3919872 532 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 957 532 135 292 0 662 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3828

[startup+0.701821 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 3959
/proc/meminfo: memFree=1886888/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=5400 CPUtime=0.69
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 925 0 0 0 69 0 0 0 23 0 1 0 185437826 5529600 906 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 1350 906 135 292 0 1055 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5400

[startup+1.50191 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3960
/proc/meminfo: memFree=1882912/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=7748 CPUtime=1.49
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 1528 0 0 0 148 1 0 0 25 0 1 0 185437826 7933952 1509 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 1937 1509 135 292 0 1642 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7748

[startup+3.10108 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3960
/proc/meminfo: memFree=1879840/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=11796 CPUtime=3.09
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 2514 0 0 0 306 3 0 0 25 0 1 0 185437826 12079104 2495 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 2949 2495 135 292 0 2654 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11796

[startup+6.30142 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3960
/proc/meminfo: memFree=1872224/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=18976 CPUtime=6.29
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 4320 0 0 0 622 7 0 0 25 0 1 0 185437826 19431424 4301 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 4744 4301 135 292 0 4449 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18976

[startup+12.7011 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3960
/proc/meminfo: memFree=1858464/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=31940 CPUtime=12.69
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 7565 0 0 0 1256 13 0 0 25 0 1 0 185437826 32706560 7546 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 7985 7547 135 292 0 7690 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31940

[startup+25.5015 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3960
/proc/meminfo: memFree=1835232/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=54224 CPUtime=25.48
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 13138 0 0 0 2523 25 0 0 25 0 1 0 185437826 55525376 13119 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 13556 13119 135 292 0 13261 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54224

[startup+51.1012 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3960
/proc/meminfo: memFree=1794720/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=95144 CPUtime=51.07
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 23353 0 0 0 5062 45 0 0 25 0 1 0 185437826 97427456 23334 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 23786 23334 135 292 0 23491 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 95144

[startup+102.306 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3960
/proc/meminfo: memFree=1721952/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=166960 CPUtime=102.25
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 41276 0 0 0 10139 86 0 0 25 0 1 0 185437826 170967040 41257 1992294400 134512640 135709839 4294956240 18446744073709551615 134568566 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 41740 41257 135 292 0 41445 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 166960

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3960
/proc/meminfo: memFree=1643104/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=246460 CPUtime=162.23
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 61152 0 0 0 16089 134 0 0 25 0 1 0 185437826 252375040 61133 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 61615 61133 135 292 0 61320 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 246460

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3960
/proc/meminfo: memFree=1564256/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=324480 CPUtime=222.2
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 80645 0 0 0 22045 175 0 0 25 0 1 0 185437826 332267520 80626 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 81120 80626 135 292 0 80825 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 324480

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3960
/proc/meminfo: memFree=1499104/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=390308 CPUtime=282.17
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 97089 0 0 0 28006 211 0 0 25 0 1 0 185437826 399675392 97070 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 97577 97070 135 292 0 97282 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 390308

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3960
/proc/meminfo: memFree=1430496/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=458172 CPUtime=342.15
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 114045 0 0 0 33967 248 0 0 25 0 1 0 185437826 469168128 114026 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 114543 114026 135 292 0 114248 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 458172

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3960
/proc/meminfo: memFree=1370464/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=518624 CPUtime=402.12
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 129158 0 0 0 39929 283 0 0 25 0 1 0 185437826 531070976 129139 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/3959/statm: 129656 129139 135 292 0 129361 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 518624

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3960
/proc/meminfo: memFree=1311456/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=577104 CPUtime=462.08
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 143768 0 0 0 45892 316 0 0 25 0 1 0 185437826 590954496 143749 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 144276 143749 135 292 0 143981 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 577104

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3966
/proc/meminfo: memFree=1253024/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=636368 CPUtime=522.07
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 158592 0 0 0 51855 352 0 0 25 0 1 0 185437826 651640832 158573 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 159092 158573 135 292 0 158797 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 636368

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3966
/proc/meminfo: memFree=1191840/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=696604 CPUtime=582.04
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 173655 0 0 0 57819 385 0 0 25 0 1 0 185437826 713322496 173636 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 174151 173636 135 292 0 173856 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 696604

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3966
/proc/meminfo: memFree=1138464/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=749260 CPUtime=642.03
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 186804 0 0 0 63786 417 0 0 25 0 1 0 185437826 767242240 186785 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 187315 186785 135 292 0 187020 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 749260

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3966
/proc/meminfo: memFree=927328/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=960216 CPUtime=881.93
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 239534 0 0 0 87652 541 0 0 25 0 1 0 185437826 983261184 239515 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 240054 239515 135 292 0 239759 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 960216

[startup+942.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 3966
/proc/meminfo: memFree=873120/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=1015156 CPUtime=941.9
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 253269 0 0 0 93618 572 0 0 25 0 1 0 185437826 1039519744 253250 1992294400 134512640 135709839 4294956240 18446744073709551615 134573754 0 0 4096 3 0 0 0 17 1 0 0
/proc/3959/statm: 253789 253250 135 292 0 253494 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 1015156

[startup+1002.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 3966
/proc/meminfo: memFree=822496/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=1064884 CPUtime=1001.87
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 265691 0 0 0 99587 600 0 0 25 0 1 0 185437826 1090441216 265672 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 266221 265672 135 292 0 265926 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 1064884

[startup+1062.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/65 3966
/proc/meminfo: memFree=775136/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=1112628 CPUtime=1061.85
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 277608 0 0 0 105557 628 0 0 25 0 1 0 185437826 1139331072 277589 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 278157 277589 135 292 0 277862 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 1112628

[startup+1122.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 3966
/proc/meminfo: memFree=728096/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=1159124 CPUtime=1121.82
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 289235 0 0 0 111525 657 0 0 25 0 1 0 185437826 1186942976 289216 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 289781 289216 135 292 0 289486 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 1159124

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3966
/proc/meminfo: memFree=681760/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=1205832 CPUtime=1181.8
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 300900 0 0 0 117493 687 0 0 25 0 1 0 185437826 1234771968 300881 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 301458 300881 135 292 0 301163 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 1205832

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3966
/proc/meminfo: memFree=632928/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=1254048 CPUtime=1241.77
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 312945 0 0 0 123461 716 0 0 25 0 1 0 185437826 1284145152 312926 1992294400 134512640 135709839 4294956240 18446744073709551615 134568263 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 313512 312926 135 292 0 313217 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 1254048

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3966
/proc/meminfo: memFree=582048/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=1304640 CPUtime=1301.76
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 325599 0 0 0 129432 744 0 0 25 0 1 0 185437826 1335951360 325580 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 326160 325580 135 292 0 325865 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 1304640

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3966
/proc/meminfo: memFree=532640/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=1354564 CPUtime=1361.73
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 338072 0 0 0 135399 774 0 0 25 0 1 0 185437826 1387073536 338053 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 338641 338053 135 292 0 338346 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 1354564

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3966
/proc/meminfo: memFree=481504/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=1405064 CPUtime=1421.71
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 350714 0 0 0 141365 806 0 0 25 0 1 0 185437826 1438785536 350695 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 351266 350695 135 292 0 350971 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 1405064

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3966
/proc/meminfo: memFree=431840/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=1454884 CPUtime=1481.68
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 363156 0 0 0 147331 837 0 0 25 0 1 0 185437826 1489801216 363137 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 363721 363137 135 292 0 363426 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 1454884

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3966
/proc/meminfo: memFree=383136/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=1503304 CPUtime=1541.66
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 375252 0 0 0 153297 869 0 0 25 0 1 0 185437826 1539383296 375233 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 375826 375233 135 292 0 375531 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 1503304

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3966
/proc/meminfo: memFree=334432/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=1553300 CPUtime=1601.63
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 387743 0 0 0 159264 899 0 0 25 0 1 0 185437826 1590579200 387724 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 388325 387724 135 292 0 388030 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 1553300

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3966
/proc/meminfo: memFree=284640/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=1601656 CPUtime=1661.6
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 399838 0 0 0 165235 925 0 0 25 0 1 0 185437826 1640095744 399819 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 400414 399819 135 292 0 400119 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 1601656

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3966
/proc/meminfo: memFree=235040/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=1651584 CPUtime=1721.59
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 412307 0 0 0 171201 958 0 0 25 0 1 0 185437826 1691222016 412288 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 412896 412288 135 292 0 412601 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 1651584

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3966
/proc/meminfo: memFree=187808/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=1698296 CPUtime=1781.56
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 423995 0 0 0 177171 985 0 0 25 0 1 0 185437826 1739055104 423976 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 424574 423976 135 292 0 424279 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 1698296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3966
/proc/meminfo: memFree=172512/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=1713356 CPUtime=1800.05
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4194304 427762 0 0 0 179011 994 0 0 25 0 1 0 185437826 1754476544 427743 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 428339 427743 135 292 0 428044 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1713356

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3966
/proc/meminfo: memFree=172512/2055920 swapFree=4181536/4192956
[pid=3959] ppid=3957 vsize=0 CPUtime=1800.25
/proc/3959/stat : 3959 (wbo) R 3957 3959 3843 0 -1 4195332 427762 0 0 0 179011 1014 0 0 25 0 1 0 185437826 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/3959/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.05
CPU time (s): 1800.31
CPU user time (s): 1790.11
CPU system time (s): 10.1935
CPU usage (%): 99.9588
Max. virtual memory (cumulated for all children) (KiB): 1713356

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

runsolver used 1.63975 second user time and 4.92225 second system time

The end

Launcher Data 

Begin job on node19 at 2009-06-16 20:52:57
IDJOB=1875775
IDBENCH=2932
IDSOLVER=698
FILE ID=node19/1875775-1245178377
PBS_JOBID= 9363929
Free space on /tmp= 66160 MiB

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

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

MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55
RANDOM SEED=1552239011

node19.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.234
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.234
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:       1887432 kB
Buffers:         38320 kB
Cached:          65916 kB
SwapCached:       6060 kB
Active:          60932 kB
Inactive:        52008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1887432 kB
SwapTotal:     4192956 kB
SwapFree:      4181536 kB
Dirty:            2388 kB
Writeback:           0 kB
Mapped:          13512 kB
Slab:            41520 kB
Committed_AS:   195864 kB
PageTables:       1456 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-1875775-1245178377.opb

Free space on /tmp at the end= 66156 MiB
End job on node19 at 2009-06-16 21:23:00