Trace number 2702279

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 (fixed)Wrong UNSAT 219.779 219.851

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=107-P1=89-P2=97-P3=41-P4=137-P5=181-P6=11-B.opb
MD5SUM931666055852afe6f909d62fafedf38c
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 benchmark0.497923
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 variables144
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 constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)384
Sum of products size (including duplicates)768
Number of different products384
Sum of products size768

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2702279-1278547513.opb.
0.00/0.00	c Instance file HOME/instance-2702279-1278547513.opb
0.00/0.00	c File size is 28515 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
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:      528                                                 |
0.00/0.00	c |  Number Clauses:        384                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 403                                                 |
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 |     528      787     3304 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       101 |     528      787     3304 |     5500      101     64 |  0.003 % |
0.00/0.02	c |       251 |     528      787     3304 |     6050      251     69 |  0.003 % |
0.00/0.03	c |       476 |     528      787     3304 |     6655      476     66 |  0.000 % |
0.00/0.05	c |       814 |     528      787     3304 |     7320      814     65 |  0.000 % |
0.00/0.09	c |      1321 |     528      787     3304 |     8052     1321     63 |  0.000 % |
0.09/0.15	c |      2081 |     528      787     3304 |     8857     2081     61 |  0.000 % |
0.19/0.24	c |      3220 |     528      787     3304 |     9743     3220     59 |  0.000 % |
0.39/0.40	c |      4929 |     528      787     3304 |    10717     4929     55 |  0.004 % |
0.59/0.62	c |      7492 |     528      787     3304 |    11789     7492     50 |  0.000 % |
1.20/1.26	c |     11337 |     528      787     3304 |    12968    11337     55 |  0.000 % |
1.49/1.54	c ===============================================================================
1.49/1.54	c New solution: 129
1.49/1.54	o 129
1.49/1.54	c Elapsed CPU time: 1.50977 s	Remaining CPU time: 178.49 s
1.49/1.54	c ===============================================================================
1.49/1.54	c |     13781 |     528      788     3312 |     5000     7048     56 |  0.000 % |
1.49/1.56	c |     13882 |     528      788     3312 |     5500     3625     53 |  0.000 % |
1.49/1.57	c |     14033 |     528      788     3312 |     6050     3776     54 |  0.000 % |
1.49/1.59	c |     14258 |     528      788     3312 |     6655     4001     54 |  0.000 % |
1.59/1.62	c |     14595 |     528      788     3312 |     7320     4338     53 |  0.000 % |
1.59/1.67	c |     15102 |     528      788     3312 |     8052     4845     51 |  0.000 % |
1.69/1.74	c |     15861 |     528      788     3312 |     8857     5604     51 |  0.000 % |
1.78/1.86	c |     17000 |     528      788     3312 |     9743     6743     50 |  0.000 % |
1.98/2.06	c |     18709 |     528      788     3312 |    10717     8452     46 |  0.000 % |
2.19/2.27	c |     21272 |     528      788     3312 |    11789    11015     48 |  0.000 % |
2.79/2.84	c |     25116 |     528      788     3312 |    12968     8757     41 |  0.000 % |
3.29/3.34	c |     30882 |     528      788     3312 |    14265     7838     44 |  0.000 % |
4.28/4.31	c |     39531 |     528      788     3312 |    15692     9264     38 |  0.000 % |
5.68/5.78	c |     52505 |     528      788     3312 |    17261    14313     41 |  0.000 % |
8.38/8.47	c |     71967 |     528      788     3312 |    18987    16233     46 |  0.000 % |
12.99/13.05	c |    101159 |     527      788     3312 |    20886    15766     44 |  0.190 % |
23.88/23.92	c |    144948 |     527      788     3312 |    22974    17350     38 |  0.193 % |
36.87/36.96	c |    210634 |     527      788     3312 |    25272    21929     46 |  0.190 % |
59.16/59.28	c |    309161 |     527      788     3312 |    27799    19876     45 |  0.190 % |
62.86/62.96	c ===============================================================================
62.86/62.96	c New solution: 19
62.86/62.96	o 19
62.86/62.96	c Elapsed CPU time: 62.0716 s	Remaining CPU time: 117.928 s
62.86/62.96	c ===============================================================================
62.86/62.96	c |    329948 |     527      789     3320 |     5000    23826     38 |  0.190 % |
63.07/63.15	c |    330049 |     497      789     3320 |     5500     2623     37 |  5.872 % |
63.07/63.16	c |    330199 |     497      789     3320 |     6050     2773     38 |  5.872 % |
63.07/63.18	c |    330425 |     497      789     3320 |     6655     2999     39 |  5.872 % |
63.17/63.21	c |    330763 |     497      789     3320 |     7320     3337     40 |  5.872 % |
63.17/63.27	c |    331270 |     497      789     3320 |     8052     3844     41 |  5.872 % |
63.27/63.36	c |    332029 |     497      789     3320 |     8857     4603     41 |  5.872 % |
63.47/63.51	c |    333168 |     497      789     3320 |     9743     5742     41 |  5.872 % |
63.66/63.73	c |    334877 |     497      789     3320 |    10717     7451     38 |  5.872 % |
63.87/63.93	c |    337440 |     497      789     3320 |    11789    10014     45 |  5.872 % |
64.46/64.57	c |    341284 |     497      789     3320 |    12968     7785     54 |  5.872 % |
65.16/65.24	c |    347051 |     497      789     3320 |    14265     6833     53 |  5.872 % |
66.26/66.39	c |    355700 |     497      789     3320 |    15692     8273     47 |  5.872 % |
67.86/67.98	c |    368675 |     497      789     3320 |    17261    13249     40 |  5.872 % |
71.57/71.65	c |    388137 |     497      789     3320 |    18987    15207     30 |  5.872 % |
75.76/75.82	c ===============================================================================
75.76/75.82	c New solution: 7
75.76/75.82	o 7
75.76/75.82	c Elapsed CPU time: 74.7276 s	Remaining CPU time: 105.272 s
75.76/75.82	c ===============================================================================
75.76/75.82	c |    409426 |     497      790     3328 |     5000    17288     33 |  5.872 % |
75.76/75.89	c |    409527 |     476      790     3328 |     5500     4285     46 |  9.852 % |
75.87/75.92	c |    409677 |     476      790     3328 |     6050     4435     47 |  9.849 % |
75.87/75.95	c |    409903 |     476      790     3328 |     6655     4661     47 |  9.849 % |
75.87/76.00	c |    410242 |     476      790     3328 |     7320     5000     48 |  9.849 % |
75.97/76.04	c |    410749 |     476      790     3328 |     8052     5507     48 |  9.852 % |
76.06/76.11	c |    411509 |     476      790     3328 |     8857     6267     48 |  9.849 % |
76.16/76.23	c |    412648 |     476      790     3328 |     9743     7406     48 |  9.849 % |
76.26/76.40	c |    414357 |     476      790     3328 |    10717     9115     49 |  9.849 % |
76.66/76.79	c |    416920 |     476      790     3328 |    11789     6189     57 |  9.849 % |
76.97/77.08	c ===============================================================================
76.97/77.08	c New solution: 5
76.97/77.08	o 5
76.97/77.08	c Elapsed CPU time: 75.9635 s	Remaining CPU time: 104.037 s
76.97/77.08	c ===============================================================================
76.97/77.08	c |    419465 |     476      791     3336 |     5000     8734     51 |  9.849 % |
76.97/77.10	c |    419566 |     476      791     3336 |     5500     4469     48 |  9.852 % |
77.07/77.12	c |    419716 |     476      791     3336 |     6050     4619     49 |  9.852 % |
77.07/77.15	c |    419942 |     476      791     3336 |     6655     4845     49 |  9.849 % |
77.07/77.19	c |    420280 |     476      791     3336 |     7320     5183     49 |  9.852 % |
77.16/77.25	c |    420787 |     476      791     3336 |     8052     5690     50 |  9.849 % |
77.26/77.38	c |    421547 |     476      791     3336 |     8857     6450     49 |  9.852 % |
77.46/77.55	c |    422686 |     476      791     3336 |     9743     7589     48 |  9.849 % |
77.86/77.90	c |    424395 |     476      791     3336 |    10717     9298     46 |  9.849 % |
78.36/78.49	c |    426957 |     476      791     3336 |    11789     6446     37 |  9.849 % |
78.76/78.84	c ===============================================================================
78.76/78.84	c New solution: 3
78.76/78.84	o 3
78.76/78.84	c Elapsed CPU time: 77.6832 s	Remaining CPU time: 102.317 s
78.76/78.84	c ===============================================================================
78.76/78.84	c |    429964 |     476      792     3344 |     5000     9453     38 |  9.849 % |
78.76/78.89	c |    430064 |     455      792     3344 |     5500     4828     37 | 13.829 % |
78.86/78.91	c |    430214 |     455      792     3344 |     6050     4978     38 | 13.826 % |
78.86/78.93	c |    430440 |     455      792     3344 |     6655     5204     38 | 13.829 % |
78.86/78.97	c |    430778 |     455      792     3344 |     7320     5542     38 | 13.826 % |
78.96/79.04	c |    431284 |     455      792     3344 |     8052     6048     40 | 13.826 % |
79.06/79.14	c |    432044 |     455      792     3344 |     8857     6808     39 | 13.826 % |
79.17/79.25	c |    433184 |     455      792     3344 |     9743     7948     41 | 13.826 % |
79.56/79.62	c |    434892 |     455      792     3344 |    10717     9656     42 | 13.826 % |
80.06/80.12	c |    437455 |     455      792     3344 |    11789     6793     39 | 13.826 % |
80.66/80.75	c |    441299 |     455      792     3344 |    12968    10637     34 | 13.826 % |
81.66/81.78	c |    447067 |     455      792     3344 |    14265     9862     23 | 13.826 % |
82.76/82.89	c |    455717 |     455      792     3344 |    15692    11197     40 | 13.826 % |
84.86/84.97	c |    468692 |     455      792     3344 |    17261     8182     35 | 13.826 % |
87.35/87.47	c |    488154 |     455      792     3344 |    18987    10059     55 | 13.826 % |
92.16/92.22	c |    517349 |     455      792     3344 |    20886    10340     51 | 13.829 % |
101.75/101.82	c |    561139 |     455      792     3344 |    22974    11927     39 | 13.826 % |
118.35/118.47	c |    626824 |     455      792     3344 |    25272    15269     40 | 13.826 % |
155.93/156.02	c |    725350 |     455      792     3344 |    27799    13006     52 | 13.826 % |
182.23/182.33	c There are 74 assigned variables. 8 in cost function.
182.83/182.92	c ============================[ Search Statistics ]==============================
182.83/182.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.83/182.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.83/182.92	c ===============================================================================
182.83/182.92	c |         0 |     454      749     2766 |     5000        0    nan |  0.000 % |
182.93/183.04	c |       101 |     454      749     2766 |     5500      101     59 | 14.016 % |
182.93/183.05	c |       251 |     454      749     2766 |     6050      251     62 | 14.016 % |
182.93/183.07	c |       478 |     454      749     2766 |     6655      478     57 | 14.016 % |
183.03/183.11	c |       815 |     454      749     2766 |     7320      815     51 | 14.016 % |
183.03/183.16	c |      1321 |     454      749     2766 |     8052     1321     56 | 14.016 % |
183.13/183.24	c |      2081 |     454      749     2766 |     8857     2081     50 | 14.016 % |
183.23/183.37	c |      3221 |     454      749     2766 |     9743     3221     55 | 14.016 % |
183.53/183.61	c |      4929 |     454      749     2766 |    10717     4929     48 | 14.016 % |
183.83/183.94	c |      7492 |     454      749     2766 |    11789     7492     50 | 14.016 % |
184.43/184.53	c |     11338 |     454      749     2766 |    12968    11338     46 | 14.016 % |
185.53/185.64	c |     17104 |     454      749     2766 |    14265    10524     37 | 14.016 % |
186.93/187.03	c |     25753 |     454      749     2766 |    15692    11958     43 | 14.016 % |
188.83/188.95	c |     38727 |     454      749     2766 |    17261     8972     26 | 14.016 % |
193.03/193.15	c |     58189 |     454      749     2766 |    18987    10993     34 | 14.016 % |
199.23/199.37	c |     87382 |     454      749     2766 |    20886    11252     29 | 14.016 % |
208.33/208.41	c |    131172 |     453      749     2766 |    22974    12837     38 | 14.205 % |
219.72/219.82	c ===============================================================================
219.72/219.82	c core #1
219.72/219.82	c 
219.72/219.82	c 
219.72/219.82	c Core size: 66	Core Weight: 2147483647	Total Weight: -2147483647
219.72/219.82	c
219.72/219.82	c
219.72/219.82	c Memory used           : 219.90 MB
219.72/219.82	c CPU time              : 217.076 s
219.72/219.82	c 
219.72/219.82	s UNSATISFIABLE
219.72/219.82	c Total CPU time: 217.076 s

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-2702279-1278547513/watcher-2702279-1278547513 -o /tmp/evaluation-result-2702279-1278547513/solver-2702279-1278547513 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702279-1278547513.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.74 2/106 26990
/proc/meminfo: memFree=1755644/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=2600 CPUtime=0
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 291 0 0 0 0 0 0 0 19 0 1 0 22963520 2662400 209 1992294400 134512640 135752675 4289220960 18446744073709551615 134598438 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 650 209 137 303 0 338 0

[startup+0.106345 s]
/proc/loadavg: 1.00 1.00 0.74 2/106 26990
/proc/meminfo: memFree=1755644/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=3216 CPUtime=0.09
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 456 0 0 0 9 0 0 0 20 0 1 0 22963520 3293184 367 1992294400 134512640 135752675 4289220960 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 804 367 145 303 0 499 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3216

[startup+0.201354 s]
/proc/loadavg: 1.00 1.00 0.74 2/106 26990
/proc/meminfo: memFree=1755644/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=3604 CPUtime=0.19
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 551 0 0 0 19 0 0 0 20 0 1 0 22963520 3690496 462 1992294400 134512640 135752675 4289220960 18446744073709551615 134638764 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 901 462 145 303 0 596 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3604

[startup+0.301366 s]
/proc/loadavg: 1.00 1.00 0.74 2/106 26990
/proc/meminfo: memFree=1755644/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=3988 CPUtime=0.29
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 658 0 0 0 28 1 0 0 20 0 1 0 22963520 4083712 569 1992294400 134512640 135752675 4289220960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 997 569 145 303 0 692 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3988

[startup+0.701408 s]
/proc/loadavg: 1.00 1.00 0.74 2/106 26990
/proc/meminfo: memFree=1755644/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=5420 CPUtime=0.69
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 1001 0 0 0 68 1 0 0 20 0 1 0 22963520 5550080 912 1992294400 134512640 135752675 4289220960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 1355 912 145 303 0 1050 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5420

[startup+1.50049 s]
/proc/loadavg: 1.00 1.00 0.74 2/107 26991
/proc/meminfo: memFree=1752040/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=7172 CPUtime=1.49
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 1450 0 0 0 146 3 0 0 22 0 1 0 22963520 7344128 1361 1992294400 134512640 135752675 4289220960 18446744073709551615 134639123 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 1793 1361 145 303 0 1488 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7172

[startup+3.10066 s]
/proc/loadavg: 1.00 1.00 0.74 2/107 26991
/proc/meminfo: memFree=1749188/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=11168 CPUtime=3.09
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 2443 0 0 0 302 7 0 0 25 0 1 0 22963520 11436032 2354 1992294400 134512640 135752675 4289220960 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 2792 2354 145 303 0 2487 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11168

[startup+6.301 s]
/proc/loadavg: 1.00 1.00 0.74 2/107 26991
/proc/meminfo: memFree=1741748/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=18756 CPUtime=6.29
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 4329 0 0 0 615 14 0 0 25 0 1 0 22963520 19206144 4240 1992294400 134512640 135752675 4289220960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 4689 4240 145 303 0 4384 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18756

[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 0.74 2/107 26991
/proc/meminfo: memFree=1729472/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=29268 CPUtime=12.68
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 6960 0 0 0 1243 25 0 0 25 0 1 0 22963520 29970432 6871 1992294400 134512640 135752675 4289220960 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 7317 6871 145 303 0 7012 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29268

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 0.74 2/107 26991
/proc/meminfo: memFree=1713972/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=44220 CPUtime=25.48
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 10682 0 0 0 2508 40 0 0 25 0 1 0 22963520 45281280 10593 1992294400 134512640 135752675 4289220960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 11055 10593 145 303 0 10750 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44220

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 0.75 2/107 26991
/proc/meminfo: memFree=1677392/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=80688 CPUtime=51.07
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 19800 0 0 0 5033 74 0 0 25 0 1 0 22963520 82624512 19711 1992294400 134512640 135752675 4289220960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 20172 19711 145 303 0 19867 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 80688

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 0.76 2/107 26993
/proc/meminfo: memFree=1608944/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=148960 CPUtime=102.27
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 36792 0 0 0 10078 149 0 0 25 0 1 0 22963520 152535040 36703 1992294400 134512640 135752675 4289220960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 37240 36703 145 303 0 36935 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 148960

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.77 2/107 26995
/proc/meminfo: memFree=1561948/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=196200 CPUtime=162.23
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 48594 0 0 0 16018 205 0 0 25 0 1 0 22963520 200908800 48505 1992294400 134512640 135752675 4289220960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 49050 48505 145 303 0 48745 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 196200

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

[startup+179.201 s]
/proc/loadavg: 1.00 1.00 0.77 2/107 26995
/proc/meminfo: memFree=1547068/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=211556 CPUtime=179.13
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 52442 0 0 0 17689 224 0 0 25 0 1 0 22963520 216633344 52353 1992294400 134512640 135752675 4289220960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 52889 52353 145 303 0 52584 0
Current children cumulated CPU time (s) 179.13
Current children cumulated vsize (KiB) 211556

[startup+204.801 s]
/proc/loadavg: 1.00 1.00 0.78 2/107 26995
/proc/meminfo: memFree=1539876/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=217508 CPUtime=204.73
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 54050 0 0 0 20221 252 0 0 25 0 1 0 22963520 222728192 53933 1992294400 134512640 135752675 4289220960 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 54377 53933 146 303 0 54072 0
Current children cumulated CPU time (s) 204.73
Current children cumulated vsize (KiB) 217508

[startup+211.201 s]
/proc/loadavg: 1.00 1.00 0.78 2/107 26995
/proc/meminfo: memFree=1535040/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=222200 CPUtime=211.13
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 55231 0 0 0 20853 260 0 0 25 0 1 0 22963520 227532800 55114 1992294400 134512640 135752675 4289220960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 55550 55114 146 303 0 55245 0
Current children cumulated CPU time (s) 211.13
Current children cumulated vsize (KiB) 222200

[startup+214.401 s]
/proc/loadavg: 1.00 1.00 0.78 2/107 26995
/proc/meminfo: memFree=1533800/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=223892 CPUtime=214.32
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 55645 0 0 0 21169 263 0 0 25 0 1 0 22963520 229265408 55528 1992294400 134512640 135752675 4289220960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 55973 55528 146 303 0 55668 0
Current children cumulated CPU time (s) 214.32
Current children cumulated vsize (KiB) 223892

[startup+217.601 s]
/proc/loadavg: 1.00 1.00 0.78 2/107 26995
/proc/meminfo: memFree=1532932/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=224648 CPUtime=217.52
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 55798 0 0 0 21488 264 0 0 25 0 1 0 22963520 230039552 55681 1992294400 134512640 135752675 4289220960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 56162 55681 146 303 0 55857 0
Current children cumulated CPU time (s) 217.52
Current children cumulated vsize (KiB) 224648

[startup+219.201 s]
/proc/loadavg: 1.00 1.00 0.78 2/107 26995
/proc/meminfo: memFree=1532684/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=225044 CPUtime=219.12
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 55902 0 0 0 21646 266 0 0 25 0 1 0 22963520 230445056 55785 1992294400 134512640 135752675 4289220960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 56261 55785 146 303 0 55956 0
Current children cumulated CPU time (s) 219.12
Current children cumulated vsize (KiB) 225044

[startup+219.601 s]
/proc/loadavg: 1.00 1.00 0.78 2/107 26995
/proc/meminfo: memFree=1532684/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=225176 CPUtime=219.52
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 55931 0 0 0 21685 267 0 0 25 0 1 0 22963520 230580224 55814 1992294400 134512640 135752675 4289220960 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 56294 55814 146 303 0 55989 0
Current children cumulated CPU time (s) 219.52
Current children cumulated vsize (KiB) 225176

[startup+219.801 s]
/proc/loadavg: 1.00 1.00 0.78 2/107 26995
/proc/meminfo: memFree=1532684/2059040 swapFree=4139492/4192956
[pid=26990] ppid=26988 vsize=225176 CPUtime=219.72
/proc/26990/stat : 26990 (wbo1.4b) R 26988 26990 26531 0 -1 4202496 55939 0 0 0 21705 267 0 0 25 0 1 0 22963520 230580224 55822 1992294400 134512640 135752675 4289220960 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26990/statm: 56294 55822 146 303 0 55989 0
Current children cumulated CPU time (s) 219.72
Current children cumulated vsize (KiB) 225176

Child status: 0
Real time (s): 219.851
CPU time (s): 219.779
CPU user time (s): 217.076
CPU system time (s): 2.70259
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 225176

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

runsolver used 0.362944 second user time and 1.04884 second system time

The end

Launcher Data 

Begin job on node019 at 2010-07-08 02:05:14
IDJOB=2702279
IDBENCH=48074
IDSOLVER=1190
FILE ID=node019/2702279-1278547513
PBS_JOBID= 11239513
Free space on /tmp= 62344 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=107-P1=89-P2=97-P3=41-P4=137-P5=181-P6=11-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-2702279-1278547513/watcher-2702279-1278547513 -o /tmp/evaluation-result-2702279-1278547513/solver-2702279-1278547513 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702279-1278547513.opb

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

MD5SUM BENCH= 931666055852afe6f909d62fafedf38c
RANDOM SEED=1423140774

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:       1756792 kB
Buffers:         44124 kB
Cached:         170872 kB
SwapCached:       7112 kB
Active:         126408 kB
Inactive:       102640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1756792 kB
SwapTotal:     4192956 kB
SwapFree:      4139492 kB
Dirty:            2664 kB
Writeback:          12 kB
AnonPages:       11496 kB
Mapped:          11888 kB
Slab:            51428 kB
PageTables:       4064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182204 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-2702279-1278547513.opb

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