Trace number 1875553

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.21 1800.75

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_4.opb
MD5SUM153ea7f27a80a18c7caefc8ed55018be
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 variables41
Total number of constraints11
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint40
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1207
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3621
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875553-1245178064.opb.
0.00/0.00	c Instance file HOME/instance-1875553-1245178064.opb
0.00/0.00	c File size is 3392 bytes.
0.00/0.00	c Highest Coefficient sum: 3621
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      41                                                  |
0.00/0.00	c |  Number Clauses:        2                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 10                                                  |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      40       12      398 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       101 |      40       12      398 |     5500      101     28 |  2.500 % |
0.00/0.01	c |       251 |      40       12      398 |     6050      251     29 |  2.500 % |
0.00/0.02	c |       476 |      40       12      398 |     6655      476     29 |  2.500 % |
0.00/0.03	c |       813 |      40       12      398 |     7320      813     30 |  2.500 % |
0.00/0.06	c |      1319 |      40       12      398 |     8052     1319     30 |  2.500 % |
0.09/0.11	c |      2079 |      40       12      398 |     8857     2079     30 |  2.500 % |
0.09/0.19	c |      3218 |      40       12      398 |     9743     3218     30 |  2.500 % |
0.29/0.32	c |      4926 |      40       12      398 |    10717     4926     30 |  2.500 % |
0.49/0.57	c |      7488 |      40       12      398 |    11789     7488     30 |  2.500 % |
1.00/1.06	c |     11332 |      40       12      398 |    12968    11332     30 |  2.500 % |
1.89/1.90	c |     17098 |      40       12      398 |    14265    10599     30 |  2.500 % |
3.39/3.43	c |     25747 |      40       12      398 |    15692    12102     30 |  2.500 % |
5.69/5.72	c |     38722 |      40       12      398 |    17261     9355     30 |  2.500 % |
9.69/9.73	c |     58183 |      40       12      398 |    18987    11529     30 |  2.500 % |
16.28/16.39	c |     87375 |      40       12      398 |    20886    12200     30 |  2.500 % |
27.29/27.39	c |    131165 |      40       12      398 |    22974    14168     29 |  2.500 % |
45.88/45.96	c |    196850 |      40       12      398 |    25272    18548     30 |  2.500 % |
77.87/77.98	c |    295376 |      40       12      398 |    27799    15795     30 |  2.500 % |
131.45/131.55	c |    443165 |      40       12      398 |    30579    11521     30 |  2.500 % |
219.03/219.16	c |    664848 |      40       12      398 |    33637    17827     30 |  2.500 % |
367.08/367.20	c |    997373 |      40       12      398 |    37001    12202     30 |  2.500 % |
611.71/611.93	c |   1496161 |      40       12      398 |    40701    20520     30 |  2.500 % |
1033.37/1033.75	c |   2244343 |      40       12      398 |    44771    33255     30 |  2.500 % |
1718.77/1719.37	c |   3366618 |      40       12      398 |    49248    20160     30 |  2.500 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875553-1245178064/watcher-1875553-1245178064 -o /tmp/evaluation-result-1875553-1245178064/solver-1875553-1245178064 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875553-1245178064.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.95 3/64 4952
/proc/meminfo: memFree=1857328/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=2392 CPUtime=0
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 185407485 2449408 171 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 598 171 134 292 0 303 0

[startup+0.0666309 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 4952
/proc/meminfo: memFree=1857328/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=2784 CPUtime=0.06
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 278 0 0 0 6 0 0 0 18 0 1 0 185407485 2850816 261 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 696 261 135 292 0 401 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2784

[startup+0.101634 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 4952
/proc/meminfo: memFree=1857328/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=2916 CPUtime=0.09
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 319 0 0 0 9 0 0 0 18 0 1 0 185407485 2985984 302 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 729 303 135 292 0 434 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2916

[startup+0.301658 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 4952
/proc/meminfo: memFree=1857328/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=3704 CPUtime=0.29
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 511 0 0 0 29 0 0 0 19 0 1 0 185407485 3792896 494 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 926 494 135 292 0 631 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3704

[startup+0.701705 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 4952
/proc/meminfo: memFree=1857328/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=4880 CPUtime=0.69
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 791 0 0 0 69 0 0 0 22 0 1 0 185407485 4997120 774 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 1220 774 135 292 0 925 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4880

[startup+1.5018 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4953
/proc/meminfo: memFree=1854056/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=6368 CPUtime=1.49
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 1181 0 0 0 147 2 0 0 25 0 1 0 185407485 6520832 1164 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 1592 1164 135 292 0 1297 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6368

[startup+3.10199 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4953
/proc/meminfo: memFree=1851944/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=9020 CPUtime=3.09
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 1829 0 0 0 306 3 0 0 25 0 1 0 185407485 9236480 1812 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 2255 1812 135 292 0 1960 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9020

[startup+6.30137 s]
/proc/loadavg: 1.07 0.99 0.96 2/65 4953
/proc/meminfo: memFree=1846824/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=13856 CPUtime=6.29
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 3057 0 0 0 622 7 0 0 25 0 1 0 185407485 14188544 3040 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 3464 3040 135 292 0 3169 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13856

[startup+12.7011 s]
/proc/loadavg: 1.07 0.99 0.96 2/65 4953
/proc/meminfo: memFree=1838568/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=21584 CPUtime=12.69
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 4982 0 0 0 1256 13 0 0 25 0 1 0 185407485 22102016 4965 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 5396 4965 135 292 0 5101 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21584

[startup+25.5016 s]
/proc/loadavg: 1.05 0.99 0.96 2/65 4953
/proc/meminfo: memFree=1824424/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=35156 CPUtime=25.49
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 8357 0 0 0 2526 23 0 0 25 0 1 0 185407485 35999744 8340 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 8789 8340 135 292 0 8494 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35156

[startup+51.1017 s]
/proc/loadavg: 1.03 0.99 0.96 2/65 4953
/proc/meminfo: memFree=1801192/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=58492 CPUtime=51.07
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 14181 0 0 0 5066 41 0 0 25 0 1 0 185407485 59895808 14164 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 14623 14164 135 292 0 14328 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 58492

[startup+102.306 s]
/proc/loadavg: 1.01 0.99 0.96 2/65 4953
/proc/meminfo: memFree=1761960/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=97356 CPUtime=102.27
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 23879 0 0 0 10152 75 0 0 25 0 1 0 185407485 99692544 23862 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 24339 23862 135 292 0 24044 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 97356

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4953
/proc/meminfo: memFree=1722088/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=137296 CPUtime=162.25
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 33859 0 0 0 16114 111 0 0 25 0 1 0 185407485 140591104 33842 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 34324 33842 135 292 0 34029 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 137296

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4953
/proc/meminfo: memFree=1682344/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=176756 CPUtime=222.22
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 43730 0 0 0 22070 152 0 0 25 0 1 0 185407485 180998144 43713 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 44189 43713 135 292 0 43894 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 176756

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4955
/proc/meminfo: memFree=1647272/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=211940 CPUtime=282.21
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 52519 0 0 0 28038 183 0 0 25 0 1 0 185407485 217026560 52502 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 52985 52502 135 292 0 52690 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 211940

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4955
/proc/meminfo: memFree=1611816/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=246996 CPUtime=342.18
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 61294 0 0 0 34004 214 0 0 25 0 1 0 185407485 252923904 61277 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 61749 61277 135 292 0 61454 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 246996

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4955
/proc/meminfo: memFree=1579112/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=279856 CPUtime=402.17
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 69476 0 0 0 39974 243 0 0 25 0 1 0 185407485 286572544 69459 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 69964 69459 135 292 0 69669 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 279856

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4955
/proc/meminfo: memFree=1548136/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=310712 CPUtime=462.15
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 77190 0 0 0 45944 271 0 0 25 0 1 0 185407485 318169088 77173 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 77678 77173 135 292 0 77383 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 310712

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4955
/proc/meminfo: memFree=1518248/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=341528 CPUtime=522.13
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 84908 0 0 0 51911 302 0 0 25 0 1 0 185407485 349724672 84891 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 85382 84891 135 292 0 85087 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 341528

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4955
/proc/meminfo: memFree=1485352/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=373500 CPUtime=582.12
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 92906 0 0 0 57882 330 0 0 25 0 1 0 185407485 382464000 92889 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 93375 92889 135 292 0 93080 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 373500

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4955
/proc/meminfo: memFree=1455656/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=402864 CPUtime=642.11
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 100242 0 0 0 63854 357 0 0 25 0 1 0 185407485 412532736 100225 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 100716 100225 135 292 0 100421 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 402864

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=1345952/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=512448 CPUtime=882.02
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 127614 0 0 0 87740 462 0 0 25 0 1 0 185407485 524746752 127597 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 128112 127597 135 292 0 127817 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 512448

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=1321184/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=537132 CPUtime=942
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 133807 0 0 0 93712 488 0 0 25 0 1 0 185407485 550023168 133790 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 134283 133790 135 292 0 133988 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 537132

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=1292384/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=565756 CPUtime=1001.98
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 140961 0 0 0 99683 515 0 0 25 0 1 0 185407485 579334144 140944 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 141439 140944 135 292 0 141144 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 565756

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=1266272/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=592080 CPUtime=1061.96
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 147493 0 0 0 105655 541 0 0 25 0 1 0 185407485 606289920 147476 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 148020 147476 135 292 0 147725 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 592080

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=1240488/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=617696 CPUtime=1121.94
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 153903 0 0 0 111628 566 0 0 25 0 1 0 185407485 632520704 153886 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 154424 153886 135 292 0 154129 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 617696

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=1215528/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=642684 CPUtime=1181.93
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 160164 0 0 0 117603 590 0 0 25 0 1 0 185407485 658108416 160147 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 160671 160147 135 292 0 160376 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 642684

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=1190504/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=667564 CPUtime=1241.91
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 166359 0 0 0 123577 614 0 0 25 0 1 0 185407485 683585536 166342 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 166891 166342 135 292 0 166596 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 667564

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=1165096/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=692704 CPUtime=1301.9
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 172649 0 0 0 129554 636 0 0 25 0 1 0 185407485 709328896 172632 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 173176 172632 135 292 0 172881 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 692704

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=1139240/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=718800 CPUtime=1361.87
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 179159 0 0 0 135523 664 0 0 25 0 1 0 185407485 736051200 179142 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 179700 179142 135 292 0 179405 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 718800

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=1113768/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=743928 CPUtime=1421.86
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 185458 0 0 0 141498 688 0 0 25 0 1 0 185407485 761782272 185441 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 185982 185441 135 292 0 185687 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 743928

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=1089128/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=768672 CPUtime=1481.84
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 191644 0 0 0 147471 713 0 0 25 0 1 0 185407485 787120128 191627 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 192168 191627 135 292 0 191873 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 768672

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=1065128/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=792548 CPUtime=1541.82
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 197613 0 0 0 153444 738 0 0 25 0 1 0 185407485 811569152 197596 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 198137 197596 135 292 0 197842 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 792548

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=1042024/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=816160 CPUtime=1601.81
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 203521 0 0 0 159420 761 0 0 25 0 1 0 185407485 835747840 203504 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 204040 203504 135 292 0 203745 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 816160

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=1015592/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=842176 CPUtime=1661.79
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 210019 0 0 0 165391 788 0 0 25 0 1 0 185407485 862388224 210002 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 210544 210002 135 292 0 210249 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 842176

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=988264/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=869456 CPUtime=1721.77
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 216863 0 0 0 171363 814 0 0 25 0 1 0 185407485 890322944 216846 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 217364 216846 135 292 0 217069 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 869456

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=965544/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=891740 CPUtime=1781.76
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 222431 0 0 0 177338 838 0 0 25 0 1 0 185407485 913141760 222414 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 222935 222414 135 292 0 222640 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 891740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=958760/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=898528 CPUtime=1800.05
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 224109 0 0 0 179161 844 0 0 25 0 1 0 185407485 920092672 224092 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 224632 224092 135 292 0 224337 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 898528

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 4961
/proc/meminfo: memFree=958760/2055920 swapFree=4191900/4192956
[pid=4952] ppid=4950 vsize=0 CPUtime=1800.15
/proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4195332 224109 0 0 0 179161 854 0 0 25 0 1 0 185407485 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/4952/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.75
CPU time (s): 1800.21
CPU user time (s): 1791.62
CPU system time (s): 8.59269
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 898528

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

runsolver used 1.37879 second user time and 3.64245 second system time

The end

Launcher Data 

Begin job on node1 at 2009-06-16 20:47:44
IDJOB=1875553
IDBENCH=2929
IDSOLVER=698
FILE ID=node1/1875553-1245178064
PBS_JOBID= 9368270
Free space on /tmp= 66220 MiB

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

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

MD5SUM BENCH= 153ea7f27a80a18c7caefc8ed55018be
RANDOM SEED=1944028140

node1.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.245
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.245
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:       1857808 kB
Buffers:         43376 kB
Cached:          77880 kB
SwapCached:        260 kB
Active:          41236 kB
Inactive:        93252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1857808 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2376 kB
Writeback:           0 kB
Mapped:          22488 kB
Slab:            49660 kB
Committed_AS:   160112 kB
PageTables:       1436 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-1875553-1245178064.opb

Free space on /tmp at the end= 66220 MiB
End job on node1 at 2009-06-16 21:17:47