Trace number 2702136

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b? (TO) 1800.23 1800.74

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=487-P1=127-P2=347-P3=419-P4=367-P5=149-P6=419-B.opb
MD5SUM79cf27053836a1888aee43ca3805fcdd
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark3.86941
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables162
Total number of constraints13
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 constraints13
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)486
Sum of products size (including duplicates)972
Number of different products486
Sum of products size972

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2702136-1278546558.opb.
0.00/0.00	c Instance file HOME/instance-2702136-1278546558.opb
0.00/0.00	c File size is 36227 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      648                                                 |
0.00/0.00	c |  Number Clauses:        486                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 505                                                 |
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 |     648      991     4149 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       100 |     648      991     4149 |     5500      100     88 |  0.002 % |
0.02/0.02	c |       250 |     648      991     4149 |     6050      250     83 |  0.002 % |
0.02/0.04	c |       476 |     648      991     4149 |     6655      476     80 |  0.000 % |
0.02/0.07	c |       813 |     648      991     4149 |     7320      813     81 |  0.000 % |
0.09/0.12	c |      1321 |     648      991     4149 |     8052     1321     76 |  0.000 % |
0.19/0.25	c |      2080 |     648      991     4149 |     8857     2080     77 |  0.002 % |
0.29/0.38	c |      3221 |     648      991     4149 |     9743     3221     76 |  0.000 % |
0.49/0.53	c |      4929 |     648      991     4149 |    10717     4929     73 |  0.000 % |
0.89/0.91	c |      7491 |     648      991     4149 |    11789     7491     73 |  0.000 % |
1.40/1.40	c |     11335 |     648      991     4149 |    12968    11335     67 |  0.000 % |
2.29/2.38	c |     17101 |     648      991     4149 |    14265    10581     56 |  0.000 % |
3.90/3.95	c |     25750 |     648      991     4149 |    15692    11847     55 |  0.000 % |
5.89/5.97	c |     38724 |     648      991     4149 |    17261     8833     54 |  0.000 % |
8.39/8.47	c |     58185 |     648      991     4149 |    18987    10546     52 |  0.000 % |
13.49/13.56	c |     87377 |     648      991     4149 |    20886    11073     43 |  0.000 % |
15.58/15.60	c ===============================================================================
15.58/15.60	c New solution: 265
15.58/15.60	o 265
15.58/15.60	c Elapsed CPU time: 15.3297 s	Remaining CPU time: 164.67 s
15.58/15.60	c ===============================================================================
15.58/15.60	c |    104978 |     648      992     4158 |     5000    18132     53 |  0.000 % |
15.58/15.69	c |    105078 |     648      992     4158 |     5500     4633     59 |  0.000 % |
15.68/15.70	c |    105229 |     648      992     4158 |     6050     4784     60 |  0.000 % |
15.68/15.72	c |    105455 |     648      992     4158 |     6655     5010     60 |  0.000 % |
15.68/15.76	c |    105793 |     648      992     4158 |     7320     5348     60 |  0.000 % |
15.78/15.81	c |    106301 |     648      992     4158 |     8052     5856     62 |  0.000 % |
15.88/15.93	c |    107060 |     648      992     4158 |     8857     6615     62 |  0.000 % |
15.99/16.06	c |    108199 |     648      992     4158 |     9743     7754     63 |  0.000 % |
16.18/16.24	c |    109908 |     648      992     4158 |    10717     9463     67 |  0.000 % |
16.49/16.54	c |    112472 |     648      992     4158 |    11789     6374     72 |  0.000 % |
16.99/17.07	c |    116316 |     648      992     4158 |    12968    10218     73 |  0.000 % |
17.69/17.75	c |    122082 |     648      992     4158 |    14265     9219     77 |  0.002 % |
19.19/19.22	c |    130731 |     648      992     4158 |    15692    10540     56 |  0.002 % |
21.49/21.58	c |    143706 |     648      992     4158 |    17261    15633     35 |  0.000 % |
25.89/25.99	c |    163168 |     648      992     4158 |    18987     8956     59 |  0.000 % |
31.08/31.18	c |    192362 |     648      992     4158 |    20886    18829     65 |  0.000 % |
39.28/39.34	c |    236155 |     648      992     4158 |    22974    19938     36 |  0.002 % |
55.18/55.21	c |    301842 |     648      992     4158 |    25272    11414     52 |  0.000 % |
81.67/81.71	c |    400368 |     648      992     4158 |    27799    22342     47 |  0.000 % |
85.97/86.09	c ===============================================================================
85.97/86.09	c New solution: 137
85.97/86.09	o 137
85.97/86.09	c Elapsed CPU time: 84.9421 s	Remaining CPU time: 95.0579 s
85.97/86.09	c ===============================================================================
85.97/86.09	c |    422834 |     648      993     4167 |     5000    27961     62 |  0.000 % |
86.17/86.22	c |    422934 |     637      993     4167 |     5500     2895     74 |  1.700 % |
86.17/86.23	c |    423084 |     637      993     4167 |     6050     3045     74 |  1.698 % |
86.17/86.25	c |    423309 |     637      993     4167 |     6655     3270     73 |  1.698 % |
86.17/86.28	c |    423647 |     637      993     4167 |     7320     3608     73 |  1.698 % |
86.26/86.34	c |    424153 |     637      993     4167 |     8052     4114     72 |  1.698 % |
86.37/86.41	c |    424912 |     637      993     4167 |     8857     4873     74 |  1.700 % |
86.47/86.58	c |    426052 |     637      993     4167 |     9743     6013     71 |  1.698 % |
86.67/86.72	c |    427761 |     637      993     4167 |    10717     7722     72 |  1.698 % |
86.97/87.08	c |    430323 |     637      993     4167 |    11789    10284     70 |  1.698 % |
87.47/87.55	c |    434169 |     637      993     4167 |    12968     8053     69 |  1.698 % |
88.17/88.24	c |    439935 |     637      993     4167 |    14265     7092     58 |  1.698 % |
89.26/89.33	c |    448585 |     637      993     4167 |    15692     8362     62 |  1.698 % |
90.97/91.04	c |    461560 |     637      993     4167 |    17261    13392     53 |  1.698 % |
94.06/94.13	c |    481024 |     637      993     4167 |    18987    15441     44 |  1.698 % |
98.36/98.40	c |    510216 |     637      993     4167 |    20886    15545     63 |  1.698 % |
109.36/109.47	c |    554005 |     637      993     4167 |    22974    16796     49 |  1.698 % |
126.06/126.14	c |    619691 |     637      993     4167 |    25272    19633     39 |  1.698 % |
149.75/149.86	c |    718218 |     637      993     4167 |    27799    16685     61 |  1.698 % |
182.24/182.33	c There are 11 assigned variables. 1 in cost function.
182.94/183.09	c core #1
182.94/183.09	c core #2
182.94/183.09	c ============================[ Search Statistics ]==============================
182.94/183.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.94/183.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.94/183.09	c ===============================================================================
182.94/183.09	c |         0 |     559     1010     3933 |     5000        0    nan |  0.000 % |
182.94/183.10	c |       101 |     559     1010     3933 |     5500      101     90 | 15.687 % |
183.04/183.11	c |       252 |     559     1010     3933 |     6050      252     87 | 15.689 % |
183.04/183.13	c |       477 |     559     1010     3933 |     6655      477     86 | 15.687 % |
183.04/183.15	c |       816 |     559     1010     3933 |     7320      816     81 | 15.687 % |
183.14/183.20	c |      1323 |     559     1010     3933 |     8052     1323     76 | 15.687 % |
183.14/183.30	c |      2083 |     559     1010     3933 |     8857     2083     77 | 15.689 % |
183.34/183.43	c |      3222 |     559     1010     3933 |     9743     3222     73 | 15.687 % |
183.54/183.62	c |      4931 |     559     1010     3933 |    10717     4931     76 | 15.687 % |
183.94/184.04	c |      7493 |     559     1010     3933 |    11789     7493     75 | 15.687 % |
184.44/184.54	c |     11337 |     559     1010     3933 |    12968    11337     66 | 15.687 % |
185.54/185.61	c |     17104 |     559     1010     3933 |    14265    10475     52 | 15.687 % |
186.84/186.97	c |     25753 |     559     1010     3933 |    15692    11872     46 | 15.687 % |
189.15/189.27	c |     38727 |     559     1010     3933 |    17261     8566     64 | 15.687 % |
193.64/193.70	c |     58189 |     559     1010     3933 |    18987    10409     50 | 15.687 % |
199.04/199.17	c |     87381 |     559     1010     3933 |    20886    10543     46 | 15.687 % |
210.93/211.03	c |    131170 |     559     1010     3933 |    22974    11822     40 | 15.687 % |
237.02/237.18	c |    196854 |     559     1010     3933 |    25272    17794     83 | 15.689 % |
266.92/267.09	c |    295381 |     559     1010     3933 |    27799    16109     49 | 15.687 % |
320.40/320.50	c |    443172 |     559     1010     3933 |    30579    16378     71 | 15.687 % |
378.79/378.98	c |    664856 |     559     1010     3933 |    33637    22784     61 | 15.687 % |
510.95/511.12	c |    997381 |     559     1010     3933 |    37001    15913     44 | 15.687 % |
692.40/692.64	c |   1496169 |     558     1010     3933 |    40701    27887     57 | 15.837 % |
1066.69/1067.08	c |   2244352 |     548     1010     3933 |    44771    32380     69 | 17.348 % |
1618.93/1619.42	c |   3366626 |     547     1010     3933 |    49248    22814     54 | 17.499 % |

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-2702136-1278546558/watcher-2702136-1278546558 -o /tmp/evaluation-result-2702136-1278546558/solver-2702136-1278546558 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702136-1278546558.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.14 1.05 0.51 3/106 30434
/proc/meminfo: memFree=1907088/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=2840 CPUtime=0
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 22868799 2908160 265 1992294400 134512640 135751879 4291223248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 710 265 146 303 0 405 0

[startup+0.0253321 s]
/proc/loadavg: 1.14 1.05 0.51 3/106 30434
/proc/meminfo: memFree=1907088/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=2840 CPUtime=0.02
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 359 0 0 0 2 0 0 0 20 0 1 0 22868799 2908160 268 1992294400 134512640 135751879 4291223248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 710 268 147 303 0 405 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2840

[startup+0.101341 s]
/proc/loadavg: 1.14 1.05 0.51 3/106 30434
/proc/meminfo: memFree=1907088/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=3228 CPUtime=0.09
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 457 0 0 0 9 0 0 0 20 0 1 0 22868799 3305472 366 1992294400 134512640 135751879 4291223248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 807 366 147 303 0 502 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3228

[startup+0.301368 s]
/proc/loadavg: 1.14 1.05 0.51 3/106 30434
/proc/meminfo: memFree=1907088/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=3740 CPUtime=0.29
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 599 0 0 0 29 0 0 0 20 0 1 0 22868799 3829760 508 1992294400 134512640 135751879 4291223248 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 935 508 147 303 0 630 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3740

[startup+0.701419 s]
/proc/loadavg: 1.14 1.05 0.51 3/106 30434
/proc/meminfo: memFree=1907088/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=5168 CPUtime=0.69
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 953 0 0 0 68 1 0 0 21 0 1 0 22868799 5292032 862 1992294400 134512640 135751879 4291223248 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 1292 862 147 303 0 987 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5168

[startup+1.50152 s]
/proc/loadavg: 1.13 1.05 0.51 2/107 30435
/proc/meminfo: memFree=1903732/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=7256 CPUtime=1.5
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 1487 0 0 0 148 2 0 0 23 0 1 0 22868799 7430144 1396 1992294400 134512640 135751879 4291223248 18446744073709551615 134616819 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 1814 1396 147 303 0 1509 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 7256

[startup+3.10173 s]
/proc/loadavg: 1.13 1.05 0.51 2/107 30435
/proc/meminfo: memFree=1901500/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=10252 CPUtime=3.09
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 2219 0 0 0 306 3 0 0 25 0 1 0 22868799 10498048 2128 1992294400 134512640 135751879 4291223248 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 2563 2128 148 303 0 2258 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10252

[startup+6.30115 s]
/proc/loadavg: 1.12 1.05 0.51 2/107 30435
/proc/meminfo: memFree=1894556/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=17116 CPUtime=6.29
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 3952 0 0 0 621 8 0 0 25 0 1 0 22868799 17526784 3861 1992294400 134512640 135751879 4291223248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 4279 3861 148 303 0 3974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17116

[startup+12.701 s]
/proc/loadavg: 1.11 1.05 0.51 2/107 30435
/proc/meminfo: memFree=1881164/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=28972 CPUtime=12.68
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 6898 0 0 0 1249 19 0 0 25 0 1 0 22868799 29667328 6807 1992294400 134512640 135751879 4291223248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 7243 6807 148 303 0 6938 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28972

[startup+25.5007 s]
/proc/loadavg: 1.09 1.05 0.52 2/107 30435
/proc/meminfo: memFree=1859216/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=51128 CPUtime=25.49
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 12404 0 0 0 2509 40 0 0 25 0 1 0 22868799 52355072 12313 1992294400 134512640 135751879 4291223248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 12782 12313 148 303 0 12477 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51128

[startup+51.101 s]
/proc/loadavg: 1.06 1.04 0.53 2/107 30437
/proc/meminfo: memFree=1823628/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=86420 CPUtime=51.08
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 21247 0 0 0 5038 70 0 0 25 0 1 0 22868799 88494080 21156 1992294400 134512640 135751879 4291223248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 21605 21156 148 303 0 21300 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86420

[startup+102.309 s]
/proc/loadavg: 1.02 1.03 0.56 2/107 30437
/proc/meminfo: memFree=1751460/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=158256 CPUtime=102.27
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 39148 0 0 0 10084 143 0 0 25 0 1 0 22868799 162054144 39057 1992294400 134512640 135751879 4291223248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 39564 39057 148 303 0 39259 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 158256

[startup+162.302 s]
/proc/loadavg: 1.01 1.03 0.58 2/107 30439
/proc/meminfo: memFree=1679292/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=230848 CPUtime=162.25
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 57226 0 0 0 16016 209 0 0 25 0 1 0 22868799 236388352 57135 1992294400 134512640 135751879 4291223248 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 57712 57135 148 303 0 57407 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 230848

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 0.60 2/107 30441
/proc/meminfo: memFree=1637752/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=271708 CPUtime=222.23
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 67597 0 0 0 21949 274 0 0 25 0 1 0 22868799 278228992 67478 1992294400 134512640 135751879 4291223248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 67927 67478 151 303 0 67622 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 271708

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 0.63 2/107 30443
/proc/meminfo: memFree=1583564/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=326148 CPUtime=282.22
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 81203 0 0 0 27889 333 0 0 25 0 1 0 22868799 333975552 81084 1992294400 134512640 135751879 4291223248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 81537 81084 151 303 0 81232 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 326148

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 0.65 2/107 30443
/proc/meminfo: memFree=1524912/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=384508 CPUtime=342.19
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 95767 0 0 0 33828 391 0 0 25 0 1 0 22868799 393736192 95648 1992294400 134512640 135751879 4291223248 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 96127 95648 151 303 0 95822 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 384508

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.66 2/107 30445
/proc/meminfo: memFree=1463780/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=446264 CPUtime=402.18
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 111187 0 0 0 39764 454 0 0 25 0 1 0 22868799 456974336 111068 1992294400 134512640 135751879 4291223248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 111566 111068 151 303 0 111261 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 446264

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.68 2/107 30447
/proc/meminfo: memFree=1418024/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=491156 CPUtime=462.16
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 122360 0 0 0 45707 509 0 0 25 0 1 0 22868799 502943744 122241 1992294400 134512640 135751879 4291223248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 122789 122241 151 303 0 122484 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 491156

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.70 2/107 30449
/proc/meminfo: memFree=1379584/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=529832 CPUtime=522.14
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 131999 0 0 0 51658 556 0 0 25 0 1 0 22868799 542547968 131880 1992294400 134512640 135751879 4291223248 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 132458 131880 151 303 0 132153 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 529832

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.72 2/107 30451
/proc/meminfo: memFree=1315848/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=593636 CPUtime=582.13
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 147921 0 0 0 57598 615 0 0 25 0 1 0 22868799 607883264 147802 1992294400 134512640 135751879 4291223248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 148409 147802 151 303 0 148104 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 593636

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.73 2/107 30451
/proc/meminfo: memFree=1258436/2059040 swapFree=4085004/4192956
[pid=30434] ppid=30432 vsize=650504 CPUtime=642.12
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 162111 0 0 0 63537 675 0 0 25 0 1 0 22868799 666116096 161992 1992294400 134512640 135751879 4291223248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 162626 161992 151 303 0 162321 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 650504

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.78 2/107 30468
/proc/meminfo: memFree=1123188/2059040 swapFree=4085036/4192956
[pid=30434] ppid=30432 vsize=783716 CPUtime=882.03
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 195283 0 0 0 87373 830 0 0 25 0 1 0 22868799 802525184 195164 1992294400 134512640 135751879 4291223248 18446744073709551615 134616714 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 195929 195164 151 303 0 195624 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 783716

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.79 2/107 30468
/proc/meminfo: memFree=1091072/2059040 swapFree=4085036/4192956
[pid=30434] ppid=30432 vsize=816036 CPUtime=942.02
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 203342 0 0 0 93333 869 0 0 25 0 1 0 22868799 835620864 203223 1992294400 134512640 135751879 4291223248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 204009 203223 151 303 0 203704 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 816036

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.80 2/107 30470
/proc/meminfo: memFree=1044200/2059040 swapFree=4085036/4192956
[pid=30434] ppid=30432 vsize=862528 CPUtime=1002
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 214969 0 0 0 99282 918 0 0 25 0 1 0 22868799 883228672 214850 1992294400 134512640 135751879 4291223248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 215632 214850 151 303 0 215327 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 862528

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.81 2/107 30472
/proc/meminfo: memFree=1020392/2059040 swapFree=4085036/4192956
[pid=30434] ppid=30432 vsize=887160 CPUtime=1061.99
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 221096 0 0 0 105246 953 0 0 25 0 1 0 22868799 908451840 220977 1992294400 134512640 135751879 4291223248 18446744073709551615 134606432 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 221790 220977 151 303 0 221485 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 887160

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.82 2/107 30474
/proc/meminfo: memFree=982696/2059040 swapFree=4085036/4192956
[pid=30434] ppid=30432 vsize=924136 CPUtime=1121.97
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 230333 0 0 0 111203 994 0 0 25 0 1 0 22868799 946315264 230214 1992294400 134512640 135751879 4291223248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 231034 230214 151 303 0 230729 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 924136

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.83 2/107 30476
/proc/meminfo: memFree=945124/2059040 swapFree=4085036/4192956
[pid=30434] ppid=30432 vsize=961812 CPUtime=1181.95
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 239754 0 0 0 117155 1040 0 0 25 0 1 0 22868799 984895488 239635 1992294400 134512640 135751879 4291223248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 240453 239635 151 303 0 240148 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 961812

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.83 2/107 30476
/proc/meminfo: memFree=916604/2059040 swapFree=4085036/4192956
[pid=30434] ppid=30432 vsize=990172 CPUtime=1241.94
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 246793 0 0 0 123119 1075 0 0 25 0 1 0 22868799 1013936128 246674 1992294400 134512640 135751879 4291223248 18446744073709551615 134616822 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 247543 246674 151 303 0 247238 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 990172

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.84 2/107 30478
/proc/meminfo: memFree=867624/2059040 swapFree=4085036/4192956
[pid=30434] ppid=30432 vsize=1038884 CPUtime=1301.93
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 258983 0 0 0 129067 1126 0 0 25 0 1 0 22868799 1063817216 258864 1992294400 134512640 135751879 4291223248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 259721 258864 151 303 0 259416 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1038884

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.85 2/107 30480
/proc/meminfo: memFree=840840/2059040 swapFree=4085036/4192956
[pid=30434] ppid=30432 vsize=1066076 CPUtime=1361.9
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 265760 0 0 0 135029 1161 0 0 25 0 1 0 22868799 1091661824 265641 1992294400 134512640 135751879 4291223248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 266519 265641 151 303 0 266214 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1066076

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.85 2/107 30482
/proc/meminfo: memFree=808104/2059040 swapFree=4085036/4192956
[pid=30434] ppid=30432 vsize=1098476 CPUtime=1421.89
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 273846 0 0 0 140987 1202 0 0 25 0 1 0 22868799 1124839424 273727 1992294400 134512640 135751879 4291223248 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 274619 273727 151 303 0 274314 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1098476

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.86 2/107 30484
/proc/meminfo: memFree=770408/2059040 swapFree=4085036/4192956
[pid=30434] ppid=30432 vsize=1136580 CPUtime=1481.87
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 283357 0 0 0 146940 1247 0 0 25 0 1 0 22868799 1163857920 283238 1992294400 134512640 135751879 4291223248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 284145 283238 151 303 0 283840 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1136580

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.86 2/107 30484
/proc/meminfo: memFree=728992/2059040 swapFree=4085036/4192956
[pid=30434] ppid=30432 vsize=1177704 CPUtime=1541.85
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 293617 0 0 0 152889 1296 0 0 25 0 1 0 22868799 1205968896 293498 1992294400 134512640 135751879 4291223248 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 294426 293498 151 303 0 294121 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1177704

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.87 2/107 30486
/proc/meminfo: memFree=703572/2059040 swapFree=4085036/4192956
[pid=30434] ppid=30432 vsize=1203392 CPUtime=1601.84
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 300045 0 0 0 158852 1332 0 0 25 0 1 0 22868799 1232273408 299926 1992294400 134512640 135751879 4291223248 18446744073709551615 134616714 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 300848 299926 151 303 0 300543 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1203392

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.87 2/107 30488
/proc/meminfo: memFree=672200/2059040 swapFree=4085036/4192956
[pid=30434] ppid=30432 vsize=1234324 CPUtime=1661.82
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 307771 0 0 0 164812 1370 0 0 25 0 1 0 22868799 1263947776 307652 1992294400 134512640 135751879 4291223248 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 308581 307652 151 303 0 308276 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1234324

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.88 2/107 30490
/proc/meminfo: memFree=650500/2059040 swapFree=4085036/4192956
[pid=30434] ppid=30432 vsize=1256196 CPUtime=1721.8
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 313235 0 0 0 170781 1399 0 0 25 0 1 0 22868799 1286344704 313116 1992294400 134512640 135751879 4291223248 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 314049 313116 151 303 0 313744 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1256196

[startup+1782.3 s]
/proc/loadavg: 1.18 1.04 0.90 2/107 30495
/proc/meminfo: memFree=574072/2059040 swapFree=4085208/4192956
[pid=30434] ppid=30432 vsize=1275812 CPUtime=1781.79
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 318144 0 0 0 176748 1431 0 0 25 0 1 0 22868799 1306431488 318025 1992294400 134512640 135751879 4291223248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 318953 318025 151 303 0 318648 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1275812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.13 1.04 0.90 2/107 30495
/proc/meminfo: memFree=566880/2059040 swapFree=4085208/4192956
[pid=30434] ppid=30432 vsize=1283072 CPUtime=1800.1
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4202496 319957 0 0 0 178569 1441 0 0 25 0 1 0 22868799 1313865728 319838 1992294400 134512640 135751879 4291223248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30434/statm: 320768 319838 151 303 0 320463 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1283072

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

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

[startup+1800.72 s]
/proc/loadavg: 1.13 1.04 0.90 2/107 30495
/proc/meminfo: memFree=566880/2059040 swapFree=4085208/4192956
[pid=30434] ppid=30432 vsize=0 CPUtime=1800.2
/proc/30434/stat : 30434 (wbo1.4b) R 30432 30434 29918 0 -1 4203524 319957 0 0 0 178569 1451 0 0 25 0 1 0 22868799 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/30434/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.74
CPU time (s): 1800.23
CPU user time (s): 1785.69
CPU system time (s): 14.5338
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 1283072

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

runsolver used 2.98355 second user time and 8.50771 second system time

The end

Launcher Data 

Begin job on node013 at 2010-07-08 01:49:18
IDJOB=2702136
IDBENCH=48003
IDSOLVER=1161
FILE ID=node013/2702136-1278546558
PBS_JOBID= 11239518
Free space on /tmp= 62544 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=487-P1=127-P2=347-P3=419-P4=367-P5=149-P6=419-B.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702136-1278546558/watcher-2702136-1278546558 -o /tmp/evaluation-result-2702136-1278546558/solver-2702136-1278546558 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702136-1278546558.opb

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

MD5SUM BENCH= 79cf27053836a1888aee43ca3805fcdd
RANDOM SEED=1398171239

node013.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.218
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
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.218
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1908112 kB
Buffers:          3364 kB
Cached:          33960 kB
SwapCached:      56224 kB
Active:          27320 kB
Inactive:        68676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1908112 kB
SwapTotal:     4192956 kB
SwapFree:      4085004 kB
Dirty:            2904 kB
Writeback:           0 kB
AnonPages:        8164 kB
Mapped:           6168 kB
Slab:            33116 kB
PageTables:       4104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181972 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702136-1278546558.opb

Free space on /tmp at the end= 62540 MiB
End job on node013 at 2010-07-08 02:19:21