Trace number 2702304

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.4bSignal 183.43 183.499

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=29-P1=157-P2=173-P3=83-P4=37-P5=251-P6=29-P7=181-B.opb
MD5SUMafe3df18e5a0f1ba7fdc86d94afdb427
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.770882
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 variables168
Total number of constraints15
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 constraints15
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)448
Sum of products size (including duplicates)896
Number of different products448
Sum of products size896

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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2702304-1278547941.opb.
0.00/0.00	c Instance file HOME/instance-2702304-1278547941.opb
0.00/0.00	c File size is 33487 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:      616                                                 |
0.00/0.00	c |  Number Clauses:        448                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 470                                                 |
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 |     616      918     3856 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       101 |     616      918     3856 |     5500      101     61 |  0.002 % |
0.00/0.02	c |       251 |     616      918     3856 |     6050      251     60 |  0.002 % |
0.00/0.04	c |       476 |     616      918     3856 |     6655      476     55 |  0.000 % |
0.00/0.07	c |       813 |     616      918     3856 |     7320      813     57 |  0.000 % |
0.09/0.11	c |      1320 |     616      918     3856 |     8052     1320     54 |  0.000 % |
0.09/0.19	c |      2079 |     616      918     3856 |     8857     2079     57 |  0.002 % |
0.19/0.29	c |      3219 |     616      918     3856 |     9743     3219     50 |  0.000 % |
0.39/0.43	c |      4927 |     616      918     3856 |    10717     4927     47 |  0.000 % |
0.79/0.84	c |      7489 |     616      918     3856 |    11789     7489     46 |  0.000 % |
1.19/1.20	c |     11334 |     616      918     3856 |    12968    11334     48 |  0.000 % |
1.99/2.02	c |     17101 |     616      918     3856 |    14265    10416     47 |  0.000 % |
2.69/2.79	c |     25751 |     616      918     3856 |    15692    11776     41 |  0.000 % |
4.30/4.39	c |     38727 |     616      918     3856 |    17261     8578     68 |  0.000 % |
7.18/7.23	c |     58189 |     616      918     3856 |    18987    10467     47 |  0.000 % |
11.89/11.91	c |     87382 |     616      918     3856 |    20886    10673     50 |  0.000 % |
20.09/20.19	c |    131171 |     616      918     3856 |    22974    12032     69 |  0.000 % |
37.08/37.18	c |    196855 |     616      918     3856 |    25272    18576     48 |  0.000 % |
44.98/45.05	c ===============================================================================
44.98/45.05	c New solution: 57
44.98/45.05	o 57
44.98/45.05	c Elapsed CPU time: 44.4142 s	Remaining CPU time: 135.586 s
44.98/45.05	c ===============================================================================
44.98/45.05	c |    236672 |     616      919     3864 |     5000    14587     40 |  0.000 % |
45.08/45.14	c |    236774 |     596      919     3864 |     5500     3562     44 |  3.247 % |
45.08/45.15	c |    236924 |     596      919     3864 |     6050     3712     45 |  3.247 % |
45.08/45.17	c |    237149 |     596      919     3864 |     6655     3937     46 |  3.247 % |
45.08/45.19	c |    237486 |     596      919     3864 |     7320     4274     48 |  3.247 % |
45.18/45.23	c |    237993 |     596      919     3864 |     8052     4781     50 |  3.249 % |
45.18/45.30	c |    238753 |     596      919     3864 |     8857     5541     52 |  3.247 % |
45.38/45.40	c |    239892 |     596      919     3864 |     9743     6680     53 |  3.247 % |
45.48/45.55	c |    241600 |     596      919     3864 |    10717     8388     51 |  3.247 % |
45.78/45.80	c |    244162 |     596      919     3864 |    11789    10950     50 |  3.247 % |
46.08/46.19	c |    248006 |     596      919     3864 |    12968     8777     41 |  3.249 % |
46.78/46.84	c |    253772 |     596      919     3864 |    14265     7976     38 |  3.247 % |
47.78/47.86	c |    262422 |     595      919     3864 |    15692     9460     37 |  3.412 % |
49.98/50.08	c |    275397 |     595      919     3864 |    17261    14451     44 |  3.409 % |
53.48/53.54	c |    294859 |     595      919     3864 |    18987    16254     44 |  3.409 % |
59.18/59.25	c |    324051 |     595      919     3864 |    20886    16634     43 |  3.412 % |
59.38/59.41	c ===============================================================================
59.38/59.41	c New solution: 49
59.38/59.41	o 49
59.38/59.41	c Elapsed CPU time: 58.5191 s	Remaining CPU time: 121.481 s
59.38/59.41	c ===============================================================================
59.38/59.41	c |    325617 |     595      920     3872 |     5000    18200     44 |  3.412 % |
59.38/59.48	c |    325718 |     595      920     3872 |     5500     4651     41 |  3.411 % |
59.38/59.48	c |    325868 |     595      920     3872 |     6050     4801     42 |  3.409 % |
59.48/59.50	c |    326094 |     595      920     3872 |     6655     5027     42 |  3.409 % |
59.48/59.52	c |    326431 |     595      920     3872 |     7320     5364     43 |  3.409 % |
59.48/59.58	c |    326937 |     595      920     3872 |     8052     5870     44 |  3.409 % |
59.58/59.67	c |    327697 |     595      920     3872 |     8857     6630     45 |  3.412 % |
59.77/59.80	c |    328837 |     595      920     3872 |     9743     7770     45 |  3.409 % |
59.98/60.02	c |    330546 |     595      920     3872 |    10717     9479     44 |  3.409 % |
60.28/60.35	c |    333108 |     595      920     3872 |    11789     6552     48 |  3.409 % |
60.68/60.70	c |    336952 |     595      920     3872 |    12968    10396     47 |  3.409 % |
61.37/61.47	c |    342719 |     595      920     3872 |    14265     9392     46 |  3.409 % |
62.58/62.67	c |    351370 |     595      920     3872 |    15692    10811     57 |  3.409 % |
63.57/63.67	c ===============================================================================
63.57/63.67	c New solution: 11
63.57/63.67	o 11
63.57/63.67	c Elapsed CPU time: 62.7035 s	Remaining CPU time: 117.297 s
63.57/63.67	c ===============================================================================
63.57/63.67	c |    360905 |     595      921     3880 |     5000    12235     49 |  3.409 % |
63.68/63.71	c |    361005 |     575      921     3880 |     5500     2906     56 |  6.658 % |
63.68/63.72	c |    361155 |     575      921     3880 |     6050     3056     56 |  6.658 % |
63.68/63.73	c |    361380 |     575      921     3880 |     6655     3281     56 |  6.656 % |
63.68/63.76	c |    361717 |     575      921     3880 |     7320     3618     57 |  6.656 % |
63.68/63.79	c |    362223 |     575      921     3880 |     8052     4124     58 |  6.656 % |
63.78/63.84	c |    362983 |     575      921     3880 |     8857     4884     55 |  6.658 % |
63.87/63.93	c |    364123 |     575      921     3880 |     9743     6024     54 |  6.656 % |
63.98/64.09	c |    365832 |     575      921     3880 |    10717     7733     53 |  6.656 % |
64.28/64.38	c |    368395 |     575      921     3880 |    11789    10296     56 |  6.658 % |
64.79/64.84	c |    372240 |     575      921     3880 |    12968     8120     50 |  6.656 % |
65.67/65.71	c |    378006 |     575      921     3880 |    14265     7164     53 |  6.656 % |
66.27/66.34	c ===============================================================================
66.27/66.34	c New solution: 7
66.27/66.34	o 7
66.27/66.34	c Elapsed CPU time: 65.2961 s	Remaining CPU time: 114.704 s
66.27/66.34	c ===============================================================================
66.27/66.34	c |    384472 |     575      922     3888 |     5000    13630     53 |  6.656 % |
66.27/66.38	c |    384572 |     565      922     3888 |     5500     3508     48 |  8.279 % |
66.27/66.39	c |    384723 |     565      922     3888 |     6050     3659     49 |  8.279 % |
66.38/66.41	c |    384949 |     565      922     3888 |     6655     3885     50 |  8.279 % |
66.38/66.44	c |    385287 |     565      922     3888 |     7320     4223     49 |  8.282 % |
66.38/66.47	c |    385797 |     565      922     3888 |     8052     4733     48 |  8.279 % |
66.47/66.56	c |    386556 |     565      922     3888 |     8857     5492     47 |  8.282 % |
66.57/66.67	c |    387696 |     565      922     3888 |     9743     6632     46 |  8.279 % |
66.78/66.85	c |    389404 |     565      922     3888 |    10717     8340     47 |  8.279 % |
66.87/66.94	c ===============================================================================
66.87/66.94	c New solution: 3
66.87/66.94	o 3
66.87/66.94	c Elapsed CPU time: 65.875 s	Remaining CPU time: 114.125 s
66.87/66.94	c ===============================================================================
66.87/66.94	c |    390338 |     565      923     3896 |     5000     9274     48 |  8.279 % |
66.87/66.96	c |    390438 |     544      923     3896 |     5500     4737     47 | 11.689 % |
66.87/66.98	c |    390588 |     544      923     3896 |     6050     4887     48 | 11.691 % |
66.99/67.01	c |    390813 |     544      923     3896 |     6655     5112     48 | 11.689 % |
66.99/67.06	c |    391151 |     544      923     3896 |     7320     5450     48 | 11.689 % |
67.08/67.14	c |    391657 |     544      923     3896 |     8052     5956     48 | 11.689 % |
67.18/67.29	c |    392416 |     544      923     3896 |     8857     6715     50 | 11.691 % |
67.47/67.53	c |    393555 |     544      923     3896 |     9743     7810     48 | 11.689 % |
67.77/67.83	c |    395263 |     544      923     3896 |    10717     9518     46 | 11.689 % |
67.97/68.06	c |    397825 |     544      923     3896 |    11789     6494     44 | 11.689 % |
68.58/68.66	c |    401671 |     544      923     3896 |    12968    10340     45 | 11.689 % |
69.18/69.28	c |    407437 |     544      923     3896 |    14265     9372     43 | 11.689 % |
70.67/70.78	c |    416086 |     544      923     3896 |    15692    10685     47 | 11.689 % |
72.67/72.73	c |    429060 |     544      923     3896 |    17261    15547     45 | 11.689 % |
75.38/75.42	c |    448522 |     544      923     3896 |    18987    17437     65 | 11.689 % |
81.77/81.89	c |    477715 |     544      923     3896 |    20886    17705     50 | 11.689 % |
88.07/88.10	c |    521504 |     543      923     3896 |    22974    19159     31 | 11.853 % |
104.87/104.91	c |    587190 |     543      923     3896 |    25272    12290     71 | 11.851 % |
129.46/129.56	c |    685716 |     543      923     3896 |    27799    23574     60 | 11.851 % |
174.55/174.66	c |    833506 |     534      923     3896 |    30579    23819     58 | 13.312 % |
182.35/182.49	c There are 82 assigned variables. 8 in cost function.

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-2702304-1278547941/watcher-2702304-1278547941 -o /tmp/evaluation-result-2702304-1278547941/solver-2702304-1278547941 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702304-1278547941.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.03 1.02 0.82 3/106 29154
/proc/meminfo: memFree=1730404/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=2708 CPUtime=0
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 349 0 0 0 0 0 0 0 17 0 1 0 23006607 2772992 259 1992294400 134512640 135751879 4288870032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 677 259 146 303 0 372 0

[startup+0.0741781 s]
/proc/loadavg: 1.03 1.02 0.82 3/106 29154
/proc/meminfo: memFree=1730404/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=2968 CPUtime=0.07
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 405 0 0 0 7 0 0 0 17 0 1 0 23006607 3039232 315 1992294400 134512640 135751879 4288870032 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 742 315 147 303 0 437 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2968

[startup+0.101179 s]
/proc/loadavg: 1.03 1.02 0.82 3/106 29154
/proc/meminfo: memFree=1730404/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=3096 CPUtime=0.09
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 432 0 0 0 9 0 0 0 17 0 1 0 23006607 3170304 342 1992294400 134512640 135751879 4288870032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 774 342 147 303 0 469 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3096

[startup+0.301197 s]
/proc/loadavg: 1.03 1.02 0.82 3/106 29154
/proc/meminfo: memFree=1730404/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=3748 CPUtime=0.29
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 591 0 0 0 28 1 0 0 17 0 1 0 23006607 3837952 501 1992294400 134512640 135751879 4288870032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 937 501 147 303 0 632 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3748

[startup+0.701234 s]
/proc/loadavg: 1.03 1.02 0.82 3/106 29154
/proc/meminfo: memFree=1730404/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=4780 CPUtime=0.69
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 845 0 0 0 67 2 0 0 17 0 1 0 23006607 4894720 755 1992294400 134512640 135751879 4288870032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 1195 755 147 303 0 890 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4780

[startup+1.50131 s]
/proc/loadavg: 1.03 1.02 0.82 2/107 29155
/proc/meminfo: memFree=1727420/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=6868 CPUtime=1.49
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 1371 0 0 0 146 3 0 0 18 0 1 0 23006607 7032832 1281 1992294400 134512640 135751879 4288870032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 1717 1281 147 303 0 1412 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6868

[startup+3.10046 s]
/proc/loadavg: 1.03 1.02 0.82 2/107 29155
/proc/meminfo: memFree=1724692/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=11388 CPUtime=3.09
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 2515 0 0 0 303 6 0 0 21 0 1 0 23006607 11661312 2425 1992294400 134512640 135751879 4288870032 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 2847 2425 148 303 0 2542 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11388

[startup+6.30075 s]
/proc/loadavg: 1.03 1.02 0.82 2/107 29155
/proc/meminfo: memFree=1715640/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=19048 CPUtime=6.29
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 4411 0 0 0 618 11 0 0 25 0 1 0 23006607 19505152 4321 1992294400 134512640 135751879 4288870032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 4762 4321 148 303 0 4457 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19048

[startup+12.7003 s]
/proc/loadavg: 1.03 1.02 0.82 2/107 29155
/proc/meminfo: memFree=1703612/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=29880 CPUtime=12.69
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 7127 0 0 0 1248 21 0 0 25 0 1 0 23006607 30597120 7037 1992294400 134512640 135751879 4288870032 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 7470 7037 148 303 0 7165 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29880

[startup+25.5015 s]
/proc/loadavg: 1.02 1.02 0.83 2/107 29155
/proc/meminfo: memFree=1683772/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=49136 CPUtime=25.49
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 11921 0 0 0 2509 40 0 0 25 0 1 0 23006607 50315264 11831 1992294400 134512640 135751879 4288870032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 12284 11831 148 303 0 11979 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49136

[startup+51.1009 s]
/proc/loadavg: 1.01 1.02 0.83 2/107 29157
/proc/meminfo: memFree=1652648/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=81184 CPUtime=51.08
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 19916 0 0 0 5032 76 0 0 25 0 1 0 23006607 83132416 19826 1992294400 134512640 135751879 4288870032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 20296 19826 148 303 0 19991 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 81184

[startup+102.309 s]
/proc/loadavg: 1.00 1.01 0.83 2/107 29157
/proc/meminfo: memFree=1569196/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=163152 CPUtime=102.27
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 40402 0 0 0 10069 158 0 0 25 0 1 0 23006607 167067648 40312 1992294400 134512640 135751879 4288870032 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 40788 40312 148 303 0 40483 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 163152

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 0.84 2/107 29159
/proc/meminfo: memFree=1508932/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=223840 CPUtime=162.25
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 55523 0 0 0 16005 220 0 0 25 0 1 0 23006607 229212160 55433 1992294400 134512640 135751879 4288870032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 55960 55433 148 303 0 55655 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 223840

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

[startup+166.301 s]
/proc/loadavg: 1.00 1.01 0.84 2/107 29159
/proc/meminfo: memFree=1504716/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=227856 CPUtime=166.25
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 56522 0 0 0 16400 225 0 0 25 0 1 0 23006607 233324544 56432 1992294400 134512640 135751879 4288870032 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 56964 56432 148 303 0 56659 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 227856

[startup+172.709 s]
/proc/loadavg: 1.00 1.01 0.84 2/107 29159
/proc/meminfo: memFree=1496284/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=236092 CPUtime=172.66
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 58566 0 0 0 17033 233 0 0 25 0 1 0 23006607 241758208 58476 1992294400 134512640 135751879 4288870032 18446744073709551615 134616822 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 59023 58476 148 303 0 58718 0
Current children cumulated CPU time (s) 172.66
Current children cumulated vsize (KiB) 236092

[startup+179.102 s]
/proc/loadavg: 1.00 1.00 0.84 2/107 29159
/proc/meminfo: memFree=1491324/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=242144 CPUtime=179.05
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 60102 0 0 0 17665 240 0 0 25 0 1 0 23006607 247955456 60012 1992294400 134512640 135751879 4288870032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 60536 60012 148 303 0 60231 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 242144

[startup+180.702 s]
/proc/loadavg: 1.00 1.00 0.84 2/107 29159
/proc/meminfo: memFree=1489216/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=243300 CPUtime=180.65
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 60382 0 0 0 17822 243 0 0 25 0 1 0 23006607 249139200 60292 1992294400 134512640 135751879 4288870032 18446744073709551615 134616326 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 60825 60292 148 303 0 60520 0
Current children cumulated CPU time (s) 180.65
Current children cumulated vsize (KiB) 243300

[startup+182.302 s]
/proc/loadavg: 1.00 1.00 0.84 2/107 29159
/proc/meminfo: memFree=1488596/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=244580 CPUtime=182.25
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4202496 60685 0 0 0 17980 245 0 0 25 0 1 0 23006607 250449920 60595 1992294400 134512640 135751879 4288870032 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29154/statm: 61145 60595 148 303 0 60840 0
Current children cumulated CPU time (s) 182.25
Current children cumulated vsize (KiB) 244580

[startup+183.101 s]
/proc/loadavg: 1.00 1.00 0.84 2/107 29159
/proc/meminfo: memFree=1486612/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=244708 CPUtime=183.04
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4204032 60744 0 0 0 18000 304 0 0 18 0 1 0 23006607 250580992 60654 1992294400 134512640 135751879 4288870032 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 0 0 0 1
/proc/29154/statm: 61177 60654 148 303 0 60872 0
Current children cumulated CPU time (s) 183.04
Current children cumulated vsize (KiB) 244708

[startup+183.301 s]
/proc/loadavg: 1.00 1.00 0.84 2/107 29159
/proc/meminfo: memFree=1486612/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=244708 CPUtime=183.24
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4204032 60744 0 0 0 18000 324 0 0 18 0 1 0 23006607 250580992 60654 1992294400 134512640 135751879 4288870032 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 0 0 0 1
/proc/29154/statm: 61177 60654 148 303 0 60872 0
Current children cumulated CPU time (s) 183.24
Current children cumulated vsize (KiB) 244708

[startup+183.401 s]
/proc/loadavg: 1.00 1.00 0.84 2/107 29159
/proc/meminfo: memFree=1486612/2059040 swapFree=4138592/4192956
[pid=29154] ppid=29152 vsize=244708 CPUtime=183.33
/proc/29154/stat : 29154 (wbo1.4b) R 29152 29154 28451 0 -1 4204032 60744 0 0 0 18000 333 0 0 18 0 1 0 23006607 250580992 60654 1992294400 134512640 135751879 4288870032 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 1 0 0 1
/proc/29154/statm: 61177 60654 148 303 0 60872 0
Current children cumulated CPU time (s) 183.33
Current children cumulated vsize (KiB) 244708

Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 183.499
CPU time (s): 183.43
CPU user time (s): 180.001
CPU system time (s): 3.42948
CPU usage (%): 99.9625
Max. virtual memory (cumulated for all children) (KiB): 244708

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

runsolver used 0.295955 second user time and 0.884865 second system time

The end

Launcher Data 

Begin job on node015 at 2010-07-08 02:12:21
IDJOB=2702304
IDBENCH=48087
IDSOLVER=1161
FILE ID=node015/2702304-1278547941
PBS_JOBID= 11239516
Free space on /tmp= 62584 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=29-P1=157-P2=173-P3=83-P4=37-P5=251-P6=29-P7=181-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-2702304-1278547941/watcher-2702304-1278547941 -o /tmp/evaluation-result-2702304-1278547941/solver-2702304-1278547941 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702304-1278547941.opb

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

MD5SUM BENCH= afe3df18e5a0f1ba7fdc86d94afdb427
RANDOM SEED=177192546

node015.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.214
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.42
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.214
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1731056 kB
Buffers:         50484 kB
Cached:         187324 kB
SwapCached:       9004 kB
Active:         109368 kB
Inactive:       144848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1731056 kB
SwapTotal:     4192956 kB
SwapFree:      4138592 kB
Dirty:            2916 kB
Writeback:           0 kB
AnonPages:       13220 kB
Mapped:          11908 kB
Slab:            51780 kB
PageTables:       4092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182860 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-2702304-1278547941.opb

Free space on /tmp at the end= 62344 MiB
End job on node015 at 2010-07-08 02:15:25