Trace number 2702290

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.15 1800.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=373-P1=127-P2=409-P3=11-P4=263-P5=269-B.opb
MD5SUM65bc139f592885e582edbd6d46332a4d
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 benchmark6.13307
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 variables135
Total number of constraints11
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 constraints11
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)405
Sum of products size (including duplicates)810
Number of different products405
Sum of products size810

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2702290-1278547734.opb.
0.00/0.00	c Instance file HOME/instance-2702290-1278547734.opb
0.00/0.00	c File size is 30043 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:      540                                                 |
0.00/0.00	c |  Number Clauses:        405                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 421                                                 |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     540      826     3456 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       101 |     540      826     3456 |     5500      101     86 |  0.003 % |
0.02/0.02	c |       252 |     540      826     3456 |     6050      252     77 |  0.003 % |
0.02/0.04	c |       479 |     540      826     3456 |     6655      479     68 |  0.000 % |
0.02/0.08	c |       816 |     540      826     3456 |     7320      816     67 |  0.000 % |
0.09/0.13	c |      1322 |     540      826     3456 |     8052     1322     67 |  0.000 % |
0.09/0.19	c |      2083 |     540      826     3456 |     8857     2083     70 |  0.000 % |
0.29/0.31	c |      3222 |     540      826     3456 |     9743     3222     67 |  0.000 % |
0.48/0.52	c |      4931 |     540      826     3456 |    10717     4931     65 |  0.004 % |
0.89/0.97	c |      7493 |     540      826     3456 |    11789     7493     69 |  0.000 % |
1.79/1.88	c |     11338 |     540      826     3456 |    12968    11338     60 |  0.000 % |
3.08/3.19	c |     17104 |     540      826     3456 |    14265    10582     41 |  0.000 % |
4.19/4.25	c |     25753 |     540      826     3456 |    15692    11846     52 |  0.000 % |
6.50/6.52	c |     38728 |     540      826     3456 |    17261     8665     74 |  0.000 % |
9.98/10.09	c |     58189 |     540      826     3456 |    18987    10430     49 |  0.000 % |
14.48/14.55	c |     87381 |     540      826     3456 |    20886    10603     55 |  0.000 % |
23.58/23.64	c |    131170 |     540      826     3456 |    22974    12459     30 |  0.000 % |
39.07/39.15	c |    196855 |     540      826     3456 |    25272    16451     62 |  0.000 % |
67.86/67.96	c |    295383 |     540      826     3456 |    27799    14800     42 |  0.000 % |
68.66/68.73	c ===============================================================================
68.66/68.73	c New solution: 21
68.66/68.73	o 21
68.66/68.73	c Elapsed CPU time: 67.8727 s	Remaining CPU time: 112.127 s
68.66/68.73	c ===============================================================================
68.66/68.73	c |    302494 |     540      827     3465 |     5000    21911     49 |  0.000 % |
68.76/68.85	c |    302596 |     496      827     3465 |     5500     2677     58 |  8.148 % |
68.76/68.86	c |    302746 |     496      827     3465 |     6050     2827     58 |  8.148 % |
68.76/68.88	c |    302972 |     496      827     3465 |     6655     3053     59 |  8.148 % |
68.86/68.90	c |    303309 |     496      827     3465 |     7320     3390     61 |  8.152 % |
68.86/68.95	c |    303816 |     496      827     3465 |     8052     3897     61 |  8.148 % |
68.96/69.05	c |    304575 |     496      827     3465 |     8857     4656     59 |  8.148 % |
69.05/69.19	c |    305715 |     496      827     3465 |     9743     5796     59 |  8.148 % |
69.36/69.45	c |    307423 |     496      827     3465 |    10717     7504     59 |  8.148 % |
69.66/69.76	c |    309985 |     496      827     3465 |    11789    10066     59 |  8.148 % |
70.46/70.55	c |    313829 |     496      827     3465 |    12968     7862     57 |  8.148 % |
71.16/71.20	c |    319595 |     496      827     3465 |    14265     7026     57 |  8.148 % |
72.26/72.37	c |    328245 |     496      827     3465 |    15692     8470     57 |  8.148 % |
74.05/74.18	c |    341220 |     496      827     3465 |    17261    13401     53 |  8.148 % |
77.65/77.73	c |    360685 |     496      827     3465 |    18987    15289     51 |  8.148 % |
83.95/84.04	c |    389877 |     496      827     3465 |    20886    15330     87 |  8.148 % |
93.36/93.49	c |    433667 |     496      827     3465 |    22974    16541     34 |  8.148 % |
97.05/97.17	c ===============================================================================
97.05/97.17	c New solution: 11
97.05/97.17	o 11
97.05/97.17	c Elapsed CPU time: 95.8594 s	Remaining CPU time: 84.1406 s
97.05/97.17	c ===============================================================================
97.05/97.17	c |    456201 |     496      828     3474 |     5000    14111     48 |  8.148 % |
97.25/97.38	c |    456301 |     485      828     3474 |     5500     3619     41 | 10.189 % |
97.25/97.39	c |    456452 |     485      828     3474 |     6050     3770     42 | 10.186 % |
97.35/97.41	c |    456678 |     485      828     3474 |     6655     3996     43 | 10.186 % |
97.35/97.45	c |    457015 |     485      828     3474 |     7320     4333     45 | 10.186 % |
97.35/97.49	c |    457521 |     485      828     3474 |     8052     4839     49 | 10.186 % |
97.44/97.56	c |    458280 |     485      828     3474 |     8857     5598     51 | 10.186 % |
97.65/97.72	c |    459419 |     485      828     3474 |     9743     6737     55 | 10.189 % |
97.86/97.96	c |    461127 |     485      828     3474 |    10717     8445     58 | 10.189 % |
98.24/98.34	c |    463689 |     485      828     3474 |    11789     5524     67 | 10.186 % |
98.85/98.91	c |    467533 |     485      828     3474 |    12968     9368     65 | 10.186 % |
99.45/99.59	c |    473300 |     485      828     3474 |    14265     8423     59 | 10.186 % |
101.06/101.11	c |    481949 |     485      828     3474 |    15692     9720     64 | 10.186 % |
102.75/102.88	c |    494924 |     485      828     3474 |    17261    14733     54 | 10.186 % |
106.55/106.61	c |    514385 |     485      828     3474 |    18987    16606     50 | 10.186 % |
111.94/112.05	c |    543577 |     485      828     3474 |    20886    16636     96 | 10.186 % |
121.44/121.58	c |    587366 |     485      828     3474 |    22974    17743     53 | 10.186 % |
137.34/137.42	c |    653050 |     485      828     3474 |    25272    21791     28 | 10.186 % |
170.92/171.00	c |    751576 |     485      828     3474 |    27799    23492     52 | 10.186 % |
182.22/182.32	c There are 55 assigned variables. 5 in cost function.
182.92/183.04	c core #1
182.92/183.04	c core #2
182.92/183.04	c ============================[ Search Statistics ]==============================
182.92/183.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.92/183.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.92/183.04	c ===============================================================================
182.92/183.04	c |         0 |     451      804     3038 |     5000        0    nan |  0.000 % |
182.92/183.05	c |       101 |     451      804     3038 |     5500      101     73 | 17.551 % |
182.92/183.06	c |       251 |     451      804     3038 |     6050      251     78 | 17.554 % |
182.92/183.08	c |       476 |     451      804     3038 |     6655      476     73 | 17.551 % |
183.02/183.12	c |       813 |     451      804     3038 |     7320      813     74 | 17.554 % |
183.02/183.19	c |      1321 |     451      804     3038 |     8052     1321     70 | 17.551 % |
183.12/183.27	c |      2081 |     451      804     3038 |     8857     2081     74 | 17.554 % |
183.32/183.41	c |      3220 |     451      804     3038 |     9743     3220     69 | 17.551 % |
183.52/183.66	c |      4928 |     451      804     3038 |    10717     4928     67 | 17.551 % |
184.02/184.17	c |      7491 |     451      804     3038 |    11789     7491     61 | 17.551 % |
184.52/184.68	c |     11335 |     451      804     3038 |    12968    11335     63 | 17.551 % |
185.62/185.71	c |     17101 |     451      804     3038 |    14265    10372     61 | 17.551 % |
186.72/186.83	c |     25751 |     451      804     3038 |    15692    11637     62 | 17.551 % |
189.02/189.14	c |     38726 |     451      804     3038 |    17261     8474     48 | 17.551 % |
193.02/193.12	c |     58190 |     451      804     3038 |    18987    10195     59 | 17.554 % |
198.42/198.50	c |     87382 |     451      804     3038 |    20886    10279     49 | 17.551 % |
212.32/212.40	c |    131171 |     451      804     3038 |    22974    11963     24 | 17.551 % |
234.31/234.40	c |    196855 |     451      804     3038 |    25272    16460     79 | 17.551 % |
261.40/261.50	c |    295383 |     451      804     3038 |    27799    19021     61 | 17.551 % |
309.99/310.17	c |    443173 |     451      804     3038 |    30579    12107     49 | 17.551 % |
396.46/396.64	c |    664856 |     451      804     3038 |    33637    24772     69 | 17.551 % |
525.12/525.35	c |    997381 |     451      804     3038 |    37001    15662     46 | 17.551 % |
753.25/753.53	c |   1496170 |     451      804     3038 |    40701    18651     53 | 17.551 % |
1098.75/1099.15	c |   2244352 |     440      804     3038 |    44771    38138     59 | 19.562 % |
1642.66/1643.29	c |   3366626 |     439      804     3038 |    49248    33250     62 | 19.748 % |

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-2702290-1278547734/watcher-2702290-1278547734 -o /tmp/evaluation-result-2702290-1278547734/solver-2702290-1278547734 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702290-1278547734.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.00 0.78 3/106 27032
/proc/meminfo: memFree=1755272/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=2608 CPUtime=0
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 299 0 0 0 0 0 0 0 19 0 1 0 22985552 2670592 217 1992294400 134512640 135751879 4291798976 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 652 217 141 303 0 339 0

[startup+0.025284 s]
/proc/loadavg: 1.00 1.00 0.78 3/106 27032
/proc/meminfo: memFree=1755272/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=2708 CPUtime=0.02
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 348 0 0 0 2 0 0 0 20 0 1 0 22985552 2772992 258 1992294400 134512640 135751879 4291798976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 677 258 147 303 0 372 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2708

[startup+0.101292 s]
/proc/loadavg: 1.00 1.00 0.78 3/106 27032
/proc/meminfo: memFree=1755272/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=3092 CPUtime=0.09
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 424 0 0 0 9 0 0 0 20 0 1 0 22985552 3166208 334 1992294400 134512640 135751879 4291798976 18446744073709551615 134606954 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 773 334 147 303 0 468 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3092

[startup+0.301312 s]
/proc/loadavg: 1.00 1.00 0.78 3/106 27032
/proc/meminfo: memFree=1755272/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=3864 CPUtime=0.29
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 627 0 0 0 29 0 0 0 20 0 1 0 22985552 3956736 537 1992294400 134512640 135751879 4291798976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 966 537 147 303 0 661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3864

[startup+0.701356 s]
/proc/loadavg: 1.00 1.00 0.78 3/106 27032
/proc/meminfo: memFree=1755272/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=5056 CPUtime=0.69
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 907 0 0 0 68 1 0 0 20 0 1 0 22985552 5177344 817 1992294400 134512640 135751879 4291798976 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 1264 817 147 303 0 959 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5056

[startup+1.50144 s]
/proc/loadavg: 1.00 1.00 0.78 2/107 27033
/proc/meminfo: memFree=1752288/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=6356 CPUtime=1.48
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 1241 0 0 0 147 1 0 0 22 0 1 0 22985552 6508544 1151 1992294400 134512640 135751879 4291798976 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 1589 1151 147 303 0 1284 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6356

[startup+3.10061 s]
/proc/loadavg: 1.00 1.00 0.78 2/107 27033
/proc/meminfo: memFree=1750676/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=8224 CPUtime=3.08
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 1703 0 0 0 305 3 0 0 25 0 1 0 22985552 8421376 1613 1992294400 134512640 135751879 4291798976 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 2056 1613 148 303 0 1751 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8224

[startup+6.30095 s]
/proc/loadavg: 1.00 1.00 0.78 2/107 27035
/proc/meminfo: memFree=1743732/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=15840 CPUtime=6.28
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 3615 0 0 0 620 8 0 0 25 0 1 0 22985552 16220160 3525 1992294400 134512640 135751879 4291798976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 3960 3525 148 303 0 3655 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15840

[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 0.78 2/107 27035
/proc/meminfo: memFree=1730588/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=27924 CPUtime=12.68
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 6607 0 0 0 1250 18 0 0 25 0 1 0 22985552 28594176 6517 1992294400 134512640 135751879 4291798976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 6981 6517 148 303 0 6676 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27924

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 0.78 2/107 27035
/proc/meminfo: memFree=1715088/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=42704 CPUtime=25.48
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 10317 0 0 0 2513 35 0 0 25 0 1 0 22985552 43728896 10227 1992294400 134512640 135751879 4291798976 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 10676 10227 148 303 0 10371 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42704

[startup+51.1007 s]
/proc/loadavg: 1.00 1.00 0.79 2/107 27035
/proc/meminfo: memFree=1683344/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=74692 CPUtime=51.06
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 18301 0 0 0 5040 66 0 0 25 0 1 0 22985552 76484608 18211 1992294400 134512640 135751879 4291798976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 18673 18211 148 303 0 18368 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 74692

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.80 2/107 27037
/proc/meminfo: memFree=1611920/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=145660 CPUtime=102.25
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 36018 0 0 0 10090 135 0 0 25 0 1 0 22985552 149155840 35928 1992294400 134512640 135751879 4291798976 18446744073709551615 134607141 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 36415 35928 148 303 0 36110 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 145660

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.81 2/107 27039
/proc/meminfo: memFree=1545084/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=212964 CPUtime=162.23
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 52815 0 0 0 16019 204 0 0 25 0 1 0 22985552 218075136 52725 1992294400 134512640 135751879 4291798976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 53241 52725 148 303 0 52936 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 212964

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.82 2/107 27039
/proc/meminfo: memFree=1502180/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=255040 CPUtime=222.2
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 63402 0 0 0 21951 269 0 0 25 0 1 0 22985552 261160960 63284 1992294400 134512640 135751879 4291798976 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 63760 63284 151 303 0 63455 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 255040

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.83 2/107 27041
/proc/meminfo: memFree=1451216/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=305896 CPUtime=282.19
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 76114 0 0 0 27889 330 0 0 25 0 1 0 22985552 313237504 75996 1992294400 134512640 135751879 4291798976 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 76474 75996 151 303 0 76169 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 305896

[startup+342.301 s]
/proc/loadavg: 1.06 1.01 0.84 2/107 27043
/proc/meminfo: memFree=1408560/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=348412 CPUtime=342.18
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 86706 0 0 0 33836 382 0 0 25 0 1 0 22985552 356773888 86588 1992294400 134512640 135751879 4291798976 18446744073709551615 134604644 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 87103 86588 151 303 0 86798 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 348412

[startup+402.301 s]
/proc/loadavg: 1.10 1.02 0.85 2/107 27045
/proc/meminfo: memFree=1367020/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=390696 CPUtime=402.15
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 97246 0 0 0 39787 428 0 0 25 0 1 0 22985552 400072704 97128 1992294400 134512640 135751879 4291798976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 97674 97128 151 303 0 97369 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 390696

[startup+462.302 s]
/proc/loadavg: 1.03 1.02 0.85 2/107 27047
/proc/meminfo: memFree=1327588/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=429608 CPUtime=462.14
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 106961 0 0 0 45734 480 0 0 25 0 1 0 22985552 439918592 106843 1992294400 134512640 135751879 4291798976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 107402 106843 151 303 0 107097 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 429608

[startup+522.301 s]
/proc/loadavg: 1.01 1.01 0.86 2/107 27047
/proc/meminfo: memFree=1292620/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=464460 CPUtime=522.12
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 115663 0 0 0 51685 527 0 0 25 0 1 0 22985552 475607040 115545 1992294400 134512640 135751879 4291798976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 116115 115545 151 303 0 115810 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 464460

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 0.87 2/107 27049
/proc/meminfo: memFree=1254552/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=502628 CPUtime=582.1
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 125141 0 0 0 57637 573 0 0 25 0 1 0 22985552 514691072 125023 1992294400 134512640 135751879 4291798976 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 125657 125023 151 303 0 125352 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 502628

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.87 2/107 27054
/proc/meminfo: memFree=1218716/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=537400 CPUtime=642.09
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 133833 0 0 0 63590 619 0 0 25 0 1 0 22985552 550297600 133715 1992294400 134512640 135751879 4291798976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 134350 133715 151 303 0 134045 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 537400

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.90 2/107 27060
/proc/meminfo: memFree=1083928/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=672220 CPUtime=882.01
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 167464 0 0 0 87415 786 0 0 25 0 1 0 22985552 688353280 167346 1992294400 134512640 135751879 4291798976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 168055 167346 151 303 0 167750 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 672220

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.90 2/107 27062
/proc/meminfo: memFree=1053300/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=703652 CPUtime=941.98
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 175312 0 0 0 93369 829 0 0 25 0 1 0 22985552 720539648 175194 1992294400 134512640 135751879 4291798976 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 175913 175194 151 303 0 175608 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 703652

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 27064
/proc/meminfo: memFree=1012628/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=743508 CPUtime=1001.97
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 185261 0 0 0 99320 877 0 0 25 0 1 0 22985552 761352192 185143 1992294400 134512640 135751879 4291798976 18446744073709551615 134616380 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 185877 185143 151 303 0 185572 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 743508

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 27066
/proc/meminfo: memFree=981876/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=774520 CPUtime=1061.95
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 192980 0 0 0 105281 914 0 0 25 0 1 0 22985552 793108480 192862 1992294400 134512640 135751879 4291798976 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 193630 192862 151 303 0 193325 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 774520

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 27066
/proc/meminfo: memFree=932276/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=823780 CPUtime=1121.93
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 205314 0 0 0 111226 967 0 0 25 0 1 0 22985552 843550720 205196 1992294400 134512640 135751879 4291798976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 205945 205196 151 303 0 205640 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 823780

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 27068
/proc/meminfo: memFree=910824/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=845524 CPUtime=1181.92
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 210707 0 0 0 117194 998 0 0 25 0 1 0 22985552 865816576 210589 1992294400 134512640 135751879 4291798976 18446744073709551615 134606404 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 211381 210589 151 303 0 211076 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 845524

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 27070
/proc/meminfo: memFree=875236/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=881184 CPUtime=1241.9
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 219619 0 0 0 123157 1033 0 0 25 0 1 0 22985552 902332416 219501 1992294400 134512640 135751879 4291798976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 220296 219501 151 303 0 219991 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 881184

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 27072
/proc/meminfo: memFree=830100/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=926072 CPUtime=1301.88
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 230853 0 0 0 129109 1079 0 0 25 0 1 0 22985552 948297728 230735 1992294400 134512640 135751879 4291798976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 231518 230735 151 303 0 231213 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 926072

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 27074
/proc/meminfo: memFree=803068/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=953096 CPUtime=1361.86
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 237577 0 0 0 135064 1122 0 0 25 0 1 0 22985552 975970304 237459 1992294400 134512640 135751879 4291798976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 238274 237459 151 303 0 237969 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 953096

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 27074
/proc/meminfo: memFree=768100/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=988256 CPUtime=1421.84
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 246345 0 0 0 141021 1163 0 0 25 0 1 0 22985552 1011974144 246227 1992294400 134512640 135751879 4291798976 18446744073709551615 134602800 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 247064 246227 151 303 0 246759 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 988256

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 27076
/proc/meminfo: memFree=719368/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=1036960 CPUtime=1481.82
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 258522 0 0 0 146970 1212 0 0 25 0 1 0 22985552 1061847040 258404 1992294400 134512640 135751879 4291798976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 259240 258404 151 303 0 258935 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1036960

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 27078
/proc/meminfo: memFree=681300/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=1074968 CPUtime=1541.79
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 268010 0 0 0 152924 1255 0 0 25 0 1 0 22985552 1100767232 267892 1992294400 134512640 135751879 4291798976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 268742 267892 151 303 0 268437 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1074968

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 27080
/proc/meminfo: memFree=648936/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=1107588 CPUtime=1601.78
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 276140 0 0 0 158880 1298 0 0 25 0 1 0 22985552 1134170112 276022 1992294400 134512640 135751879 4291798976 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 276897 276022 151 303 0 276592 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1107588

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 27082
/proc/meminfo: memFree=627608/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=1128784 CPUtime=1661.76
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 281420 0 0 0 164849 1327 0 0 25 0 1 0 22985552 1155874816 281302 1992294400 134512640 135751879 4291798976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 282196 281302 151 303 0 281891 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1128784

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 27082
/proc/meminfo: memFree=609876/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=1146332 CPUtime=1721.74
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 285764 0 0 0 170822 1352 0 0 25 0 1 0 22985552 1173843968 285646 1992294400 134512640 135751879 4291798976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 286583 285646 151 303 0 286278 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1146332

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 27084
/proc/meminfo: memFree=592020/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=1164464 CPUtime=1781.72
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 290274 0 0 0 176795 1377 0 0 25 0 1 0 22985552 1192411136 290156 1992294400 134512640 135751879 4291798976 18446744073709551615 134616353 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 291116 290156 151 303 0 290811 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1164464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 27084
/proc/meminfo: memFree=585572/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=1170484 CPUtime=1800.03
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4202496 291776 0 0 0 178616 1387 0 0 25 0 1 0 22985552 1198575616 291658 1992294400 134512640 135751879 4291798976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27032/statm: 292621 291658 151 303 0 292316 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1170484

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.00 1.00 0.91 2/107 27084
/proc/meminfo: memFree=585572/2059040 swapFree=4139492/4192956
[pid=27032] ppid=27030 vsize=0 CPUtime=1800.13
/proc/27032/stat : 27032 (wbo1.4b) R 27030 27032 26531 0 -1 4203524 291776 0 0 0 178616 1397 0 0 25 0 1 0 22985552 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/27032/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.15
CPU user time (s): 1786.16
CPU system time (s): 13.9839
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 1170484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.16
system time used= 13.9839
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291776
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= 3
involuntary context switches= 2050

runsolver used 2.90356 second user time and 8.5837 second system time

The end

Launcher Data 

Begin job on node019 at 2010-07-08 02:08:54
IDJOB=2702290
IDBENCH=48080
IDSOLVER=1161
FILE ID=node019/2702290-1278547734
PBS_JOBID= 11239513
Free space on /tmp= 62344 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=373-P1=127-P2=409-P3=11-P4=263-P5=269-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-2702290-1278547734/watcher-2702290-1278547734 -o /tmp/evaluation-result-2702290-1278547734/solver-2702290-1278547734 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702290-1278547734.opb

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

MD5SUM BENCH= 65bc139f592885e582edbd6d46332a4d
RANDOM SEED=1344095921

node019.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.244
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.48
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.244
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1756420 kB
Buffers:         44428 kB
Cached:         170880 kB
SwapCached:       7112 kB
Active:         126444 kB
Inactive:       102936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1756420 kB
SwapTotal:     4192956 kB
SwapFree:      4139492 kB
Dirty:            2620 kB
Writeback:           0 kB
AnonPages:       11504 kB
Mapped:          11908 kB
Slab:            51388 kB
PageTables:       4236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181664 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-2702290-1278547734.opb

Free space on /tmp at the end= 62344 MiB
End job on node019 at 2010-07-08 02:38:57